{"entities":{"Q1200918":{"pageid":1211667,"ns":120,"title":"Item:Q1200918","lastrevid":67075578,"modified":"2026-04-12T14:54:57Z","type":"item","id":"Q1200918","labels":{"en":{"language":"en","value":"Using mappings to prove timing properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 95903"}},"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":"Q1200918$EB42BC66-6A3B-4D54-959F-BAD9B4AFFEC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49a03c0fd66528207e881dd18d89648244b64fed","datavalue":{"value":{"text":"Using mappings to prove timing properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1200918$9DD81F0A-4548-4529-AF73-6B443E07237C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a95a0e3c5b966c438a66f18addcbe2644374ef77","datavalue":{"value":"0773.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200918$A4F81981-F4EC-4AC9-8D5D-27E295A67877","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5dcec522fbe9e54c0bb662646c8c7911911b5925","datavalue":{"value":"10.1007/BF02252683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200918$02465298-AE5A-4828-94DF-0172C03AEFD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c104efc4aabc14c241ca7bc47803e7ee14b98b","datavalue":{"value":{"entity-type":"item","numeric-id":660993,"id":"Q660993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200918$0576F5DD-A782-4559-A3A6-E5A4DCAB525C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06beb65bb7324a348c680287d2a6a50a4218f2f1","datavalue":{"value":{"entity-type":"item","numeric-id":216138,"id":"Q216138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200918$4377E97D-27BA-4B96-B65B-796BA96A4599","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200918$571B0A1B-2C5D-4BC5-B155-FB77411862A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1200918$2FCC6775-6740-4235-BC7A-8AE5B846FE08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200918$5728C8AE-AFB6-41CF-A112-4259F84F0011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200918$4278E72B-C67B-4629-A122-EC6EB0AD0E2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d07f78f929dc837cf3b6e027aa6e9bbd69e843f","datavalue":{"value":"95903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200918$B2045ED8-1F57-44A7-A8F0-C95B1EDF467D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2caee3670e666fd6264cc65a2e1cc3b74e14c793","datavalue":{"value":"assertional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200918$2354C9F0-5D34-4575-A37E-F1030ECFCF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263d9d6b9f9ba87b57d2cd537afa65290a0b01a","datavalue":{"value":"possibilities mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200918$55772D9E-2FCD-4B4B-9E4E-2C190900D732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200918$BCC97772-CA18-4A41-A963-4A52C467C736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8c2b7ced654647021de9242bf805c45b29c8712","datavalue":{"value":"I/O automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200918$56E2B427-F495-464F-B3C3-FBC0F1D97E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41ff9ab6a54f77a47c271f7cc4e78cd2e4d63cbe","datavalue":{"value":"progress functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200918$172CC531-123A-4449-9CAD-3D65C478A23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200918$03EF743B-906A-4A45-84B2-A55783771E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9817f2729928010b9d5377db5b0f95421c8ef32","datavalue":{"value":"concurrent algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200918$400A60D1-4FD9-4FB4-AAA9-85191800A427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f78f52529d0e54dd321491a80aec38f74f40a8a","datavalue":{"value":"time properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200918$EA372D4D-8DC6-438F-9594-8D5A02A95704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6907cf996de7fc77acff6ec99237adf699027239","datavalue":{"value":"timing-based algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1200918$BF09C64D-8AF5-4864-B0B2-95717274F1CE","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":"Q1200918$3E4538BA-6D93-41BB-8D69-42FB33B8B653","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200918$0E3AE6E5-5AA7-4DFD-BBB8-D47D63A392D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200918$6BD317FA-8364-4CD2-BCB6-7A2AC4C56A73","rank":"normal"},{"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":"Q1200918$BA3209CD-87D2-4E5A-B5EC-3D5394968204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200918$34A80DEC-18FC-46E7-8745-2C348951B8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d9e973af315b55cffa8fa27554eb9612b051cf3","datavalue":{"value":{"entity-type":"item","numeric-id":4723289,"id":"Q4723289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200918$9AE9E99F-19E5-49B4-896B-2D3B9D68DD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741c7d3129901eccb8c6a0c0e2bacc188c4905d9","datavalue":{"value":{"entity-type":"item","numeric-id":4728220,"id":"Q4728220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200918$DDBE6CD7-F3A6-4173-B812-AEEE922B013A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d21cbd0c791f083ee08a1e9e48b64281b87bb07","datavalue":{"value":{"entity-type":"item","numeric-id":3664404,"id":"Q3664404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200918$943D61F6-AC5D-47A4-BA09-C3C7B029E11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dac655e7ef5654e5e33e200103ca3725f76442b3","datavalue":{"value":{"entity-type":"item","numeric-id":1200918,"id":"Q1200918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200918$66B26B1F-831C-4123-AC81-349B48EC930C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200918$BCFA268E-75DB-4ABE-BA34-1C0FFD823E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200918$C2463DFD-9F98-451A-A855-61D03DEDA36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b176f2b47272d5b320456acd7b6bb655fe3057","datavalue":{"value":{"entity-type":"item","numeric-id":3493236,"id":"Q3493236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200918$2E08184E-EA03-4B08-B45D-1A1E2702E6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"709a68df4a1dc7b6f8cf34109162d7fa91c6feee","datavalue":{"value":{"entity-type":"item","numeric-id":3795193,"id":"Q3795193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1200918$D625128E-D52B-479A-BF4A-410D166F15E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"526296f5f5ac7987d726874a7ed2dd1ae9534178","datavalue":{"value":"https://doi.org/10.1007/bf02252683","type":"string"},"datatype":"url"},"type":"statement","id":"Q1200918$3CE0F79C-294B-4E03-A0E7-8BAC31186DD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e07e033e505aae9eace16a271bf074a44c207251","datavalue":{"value":"W2043695863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1200918$5DFEAC9E-9B89-422E-9010-CDFD3C8552C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0d42d058d6ab44963e1d92b6f03120fc29ffb5","datavalue":{"value":{"entity-type":"item","numeric-id":1923088,"id":"Q1923088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32e60d7f19286068193e21cfb6d6b42bc96a2208","datavalue":{"value":{"amount":"+0.7836959362030029","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":"Q1200918$CEF66C2A-BF1D-4628-9D1A-5EDD038F49D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983d11ff1dd06ecdeadd1f66f16e5f7a7c531de5","datavalue":{"value":{"entity-type":"item","numeric-id":1333273,"id":"Q1333273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0bba24e30495b7301c0d6cceb2c56bf559aa813","datavalue":{"value":{"amount":"+0.7695890069007874","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":"Q1200918$B965D23F-7B17-46C4-B24C-12A6B4DD78D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dde7e6cd2de452a342503a6c625d1562d2b282e2","datavalue":{"value":{"amount":"+0.7531396150588989","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":"Q1200918$9DEEE45B-FE94-487D-B0BC-72C7A4704D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188e04e6e5986b37df143c49df5773d8a3841300","datavalue":{"value":{"amount":"+0.7485657334327698","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":"Q1200918$0763C15A-4921-43A0-8FC6-0FCBC390483B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19959a64e036e4ada6e6387e4bf4ffd0d0dd3e6e","datavalue":{"value":{"amount":"+0.7485222220420837","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":"Q1200918$1D14246C-482A-46DB-84E2-825CF6175249","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using mappings to prove timing properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_mappings_to_prove_timing_properties"}}}}}