{"entities":{"Q1429422":{"pageid":1440162,"ns":120,"title":"Item:Q1429422","lastrevid":70383312,"modified":"2026-04-13T14:24:06Z","type":"item","id":"Q1429422","labels":{"en":{"language":"en","value":"Verification of duration systems using an approximation approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2066282"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429422$A5F67166-43D8-4EE1-AFA2-6A25FDBDD8B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b63f5e81821957c891bb0182e01efa57ec315749","datavalue":{"value":{"text":"Verification of duration systems using an approximation approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1429422$DC6FE618-3BCE-403D-AF48-18F7D9C136D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4dfddcecc006e4dce8b84a8e2c03a619cbb1056","datavalue":{"value":"1089.68565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1429422$18E4AB9D-4FB0-41D5-BED1-802A3C9D9E9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f2eb78ac261996aaf34f1de6309f7c7efdf7d71","datavalue":{"value":"10.1007/BF02948880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1429422$310561B2-67D8-42C6-BD0A-FA2A90576AE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd4d8e1c48a9af8fedaad3a6f88014024b877ec4","datavalue":{"value":{"entity-type":"item","numeric-id":1429421,"id":"Q1429421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429422$82928CBC-8A07-4745-BEB6-7FE097F87582","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429422$2C509999-BACD-44D5-8997-C721D5FF285E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f2c658547352f67a9de92adfcc83c5224bfe428","datavalue":{"value":{"time":"+2004-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1429422$842A5CA1-06CF-4C1F-B79E-12275C2667CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1429422$0804FCDC-B052-4069-A38B-15EA7379CA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1429422$CB2B6437-7475-483A-9AF4-3B36923780DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e4c1097eafc44d9431704c8be0d7460930ac17d","datavalue":{"value":"2066282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1429422$528470E6-D4FF-4227-9F5D-CA4941660B98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1429422$AA1D78AB-543E-4346-A030-333654C3FEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a15426970c569471ed079660143d7f5d082a281","datavalue":{"value":"duration graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1429422$DCC623C4-233C-4303-8148-E602BD75E5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1429422$D6DF44C8-662E-4F47-8596-FBDEAA8FF1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7f7df09bbf6cd0b5dec72d223852bfc2a96c4d9","datavalue":{"value":"digitization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1429422$4B461925-AB75-4337-9C97-C4FF1502D005","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429422$A278352F-8863-4A9F-A061-59F37AECDFB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429422$64C4E2AE-9EFC-49DA-AE3B-431C6106E8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429422$99D06F1C-5DC7-402C-9766-42EC61E3C4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429422$197CED43-CFE6-4D3E-8A39-4EAECEFAFF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be4a8100f6c1d999f8610e55b712c8ecf757568","datavalue":{"value":{"entity-type":"item","numeric-id":1854273,"id":"Q1854273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429422$1DA677D0-4452-4F85-85FE-B3AE397F9B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dc32dff08f7e062837373e4e0bb0cd53c724ad","datavalue":{"value":{"entity-type":"item","numeric-id":4536599,"id":"Q4536599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429422$6D829F90-A281-4C99-8709-29D46330B87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b043d2a9911135295eda6ada96f432b0f8ae3a25","datavalue":{"value":{"entity-type":"item","numeric-id":1323313,"id":"Q1323313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429422$EB7F12D5-F50B-4013-BC54-B295DAC66104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b2a2787ed47a4d5e91d9ce327d2742e1960b77","datavalue":{"value":{"entity-type":"item","numeric-id":2754094,"id":"Q2754094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429422$EC9FD675-BB3D-47DF-847F-26BB22F75BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429422$76412A66-F7AB-424D-A0CB-EE1B1254C91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429422$3A8FE9F5-7FF6-4074-9C12-5C7A960D5DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1429422$D8159D4E-62A1-4D65-B5EB-E72864708ECE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4d34f6334987d242580eb298518c0dcc579ab8f","datavalue":{"value":"https://doi.org/10.1007/bf02948880","type":"string"},"datatype":"url"},"type":"statement","id":"Q1429422$7E5CE1DD-A493-43C4-ABF7-6AA2E1379AD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"069d80d19b34dc6cb82070d97aa96853bed4b16a","datavalue":{"value":"W2051092818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1429422$A9EA3061-CA73-48C0-896A-74B46000B6C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e961c505d992056e2e44a3f97aa1a4e8ec6abe64","datavalue":{"value":{"entity-type":"item","numeric-id":5709982,"id":"Q5709982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b75e771e442a72ce5d0fc29134ddc2e0529855e","datavalue":{"value":{"amount":"+0.771354079246521","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1429422$BC07CE71-164B-46B8-BD18-C0C634A7816C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a5a2758a5f507b2f0dcd4b7e59da0d7393d50b","datavalue":{"value":{"entity-type":"item","numeric-id":1433946,"id":"Q1433946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db8482ce12e9f4774ecf7283a8fb45b9940b32a","datavalue":{"value":{"amount":"+0.7599825263023376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1429422$0D65020C-17D3-4ABC-9F45-9DD3F0B5C439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ed8c365d761de28b489bccf61e5f1118d71e891","datavalue":{"value":{"entity-type":"item","numeric-id":5900677,"id":"Q5900677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cdb19dd4190a3b69ce21790ece00a8807498f8b","datavalue":{"value":{"amount":"+0.7565751671791077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1429422$D4E0C189-8C4B-4FF0-87C5-5D72856CCA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df03370088f638a9cf4d3447c9a7976b69e9fbbe","datavalue":{"value":{"entity-type":"item","numeric-id":5204346,"id":"Q5204346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d3bc8cf09233f8770f5927d7d4cadbf2052fe7d","datavalue":{"value":{"amount":"+0.7507757544517517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1429422$58C7CEEA-4F97-4B67-BCFB-E217E1EF07E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d93c5801a7afa080d33f27f655d3dd9ab94be09","datavalue":{"value":{"entity-type":"item","numeric-id":4472226,"id":"Q4472226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef761ce2f551c51df42179a4ff5a3975572e2c7","datavalue":{"value":{"amount":"+0.7465000152587891","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1429422$E9AB49FA-ECC6-4811-970A-8F9430683DE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of duration systems using an approximation approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_duration_systems_using_an_approximation_approach"}}}}}