{"entities":{"Q3511234":{"pageid":5541138,"ns":120,"title":"Item:Q3511234","lastrevid":50401574,"modified":"2026-01-13T23:38:03Z","type":"item","id":"Q3511234","labels":{"en":{"language":"en","value":"Temporal Logic Verification Using Simulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5299130"}},"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":"Q3511234$28DE39E7-EFCC-429F-B8A8-E13DC2E67182","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd1b638a3df5d5a997d2681a39720568aa7c53cc","datavalue":{"value":{"text":"Temporal Logic Verification Using Simulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3511234$BCD8208F-FB81-4FCD-B480-9474A5AEE0A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4949ff3dd6aa25b43490f9a3ab9e08d71de2c71c","datavalue":{"value":"1141.68463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511234$4CA4CB01-3674-45DC-B908-FB19DF699DAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7edce5ae64436934231bfba877ccf374b823da60","datavalue":{"value":"10.1007/11867340_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511234$EE1718E6-0F71-442F-9050-BCFD953B526D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e4f6b14f5ecf0170410995e1646547ad080542a","datavalue":{"value":{"entity-type":"item","numeric-id":732014,"id":"Q732014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511234$461B6B2B-D057-469B-BA26-C8A309AD969C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cd75063fb99447d972021ae6b9c54b0c3559d54","datavalue":{"value":{"entity-type":"item","numeric-id":246546,"id":"Q246546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511234$10A3B860-8D73-42C8-824D-2BEE2C918880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab46375faf5dfaf24470278e369ba293e0a7afc2","datavalue":{"value":{"entity-type":"item","numeric-id":207162,"id":"Q207162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511234$D709F0E9-5F9E-4D9D-B22C-8E80A4A28DB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511234$534EFF70-84DD-4095-8009-FDF73BA2D3DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"694fcff64632bb7c9f7b1c4fd99ec15da89c9111","datavalue":{"value":{"time":"+2008-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3511234$D19DC6FF-CF2A-4875-969E-152A9B161C45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4a6b971dbfb8b37cd733c822684c7ad5f131bdb","datavalue":{"value":"https://repository.upenn.edu/cgi/viewcontent.cgi?article=1296&context=cis_papers","type":"string"},"datatype":"url"},"type":"statement","id":"Q3511234$6E64175A-D09E-479C-B9F6-980C7917CFB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511234$68C350E1-0365-4B50-B09B-48D26537404B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511234$C717359B-70E2-4D2C-96E3-077237851BA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6823daca2b83f2fb619dd9c8e88a383c1369a08","datavalue":{"value":"5299130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511234$8DFFE873-2702-4B92-9FFE-93444CC324D3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511234$E8EB8C87-4895-4EA4-8334-A0C242AD6DD4","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":"Q3511234$775B2EB4-E303-477D-8824-1F8FCBE71682","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69a93a0a60f3d454b043577562a41812414661b0","datavalue":{"value":"W2120953717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511234$4F2CCB89-F60D-4E53-BCEF-BC566B5B99B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7510a157bcaa18f709ba21a31557a7fe635a8280","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfde257ac26d7351bb76eb4edd99ce3a7d5b2f0","datavalue":{"value":{"amount":"+0.8223122358322144","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":"Q3511234$F6FA2C08-E3AC-4E9A-AA71-4C42225D6727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19801ad8f3e344e4474cfb8c346fa2bd42007f20","datavalue":{"value":{"entity-type":"item","numeric-id":5898984,"id":"Q5898984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d51b2ebc9b07851cf979d472b355805579c7079","datavalue":{"value":{"amount":"+0.8143146634101868","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":"Q3511234$39C09DA9-F7C9-45EB-9FD8-262797823576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02573e29b41a0176f3ef90ff19314c3addf01f74","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e38368f0bb78e512817929e46aa601624a99c64","datavalue":{"value":{"amount":"+0.767319917678833","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":"Q3511234$85635A59-77BC-40B3-981F-245A7F9ADDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d98412d645a751d9884c73116d1425e08105b89e","datavalue":{"value":{"entity-type":"item","numeric-id":1383355,"id":"Q1383355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f384ed1997aa73596f3ce4fd810069a6b653ee","datavalue":{"value":{"amount":"+0.7502840757369995","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":"Q3511234$0788BAA5-ABD8-4D19-9CB7-55A594D6F6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47eae304c14a62ec405de6a705270a1d4bf90c7","datavalue":{"value":{"entity-type":"item","numeric-id":1990521,"id":"Q1990521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16d2d3e55e48b13c71298b40490a397e86e76ee7","datavalue":{"value":{"amount":"+0.7471287250518799","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":"Q3511234$F7D870D7-497A-4F6F-A448-8BEAE3123724","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3511234","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3511234"}}}}}