{"entities":{"Q4875975":{"pageid":6905554,"ns":120,"title":"Item:Q4875975","lastrevid":90911057,"modified":"2026-06-04T21:45:35Z","type":"item","id":"Q4875975","labels":{"en":{"language":"en","value":"Extending temporal logic to support high-level simulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 870766"}},"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":"Q4875975$9190EB13-087D-40B0-BEC0-659427C6AE12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f9c7549a678d3d4ab21e839efd7bd5447b529ca","datavalue":{"value":{"text":"Extending temporal logic to support high-level simulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4875975$3F5B4BAF-C9EF-4572-832D-C15252BA6AA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa08a866628e175aa877e8c82855ead02c0d935d","datavalue":{"value":"0846.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4875975$4F258D8C-BCE6-4C23-B40A-2CDDF73016D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7a0fa4438427b2f75807b781aef4e848ac61bb7","datavalue":{"value":"10.1145/210330.210336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4875975$663D07A9-1D01-4AE5-B72C-8F1E154000BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec222ca00b9d98fcfa3954244a5bc2a875de933c","datavalue":{"value":{"entity-type":"item","numeric-id":1323324,"id":"Q1323324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4875975$4564B330-E60C-4ACB-837F-2440F35EE73C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5f5bae07c449260f47024289866c93e24bb0f22e","datavalue":{"value":{"entity-type":"item","numeric-id":64755,"id":"Q64755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4875975$052FBAC4-0985-4177-BD15-A9EF72D84A4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5b2e20ca59c6c04e463d8f8a5a4e493d0ace62e","datavalue":{"value":{"time":"+1996-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4875975$2899D389-E2AD-4DE8-B96F-360F26489986","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4484425fd5774b3326fc3c81c8debe968fb6a1c3","datavalue":{"value":"http://archive.nyu.edu/handle/2451/14255","type":"string"},"datatype":"url"},"type":"statement","id":"Q4875975$B407724B-9412-4D20-A247-2DF52E486071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca3268616f6290f03d02df9144310225d313edcb","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/tomacs/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4875975$DCA4F3AE-F906-4701-9E99-1ABFDEAAB8A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e40b847cfa456e95c1c964a8cd9df72656b7c29","datavalue":{"value":"68U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4875975$27B1EFC7-AF0B-4718-93E0-255878553C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4875975$A498BDB4-424C-4E7F-B409-4777D47659B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e5a16000a4081a56e9786f7de6257b12e49345d","datavalue":{"value":"870766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4875975$1D33A7AC-9F71-4DA2-AAFB-38EA3953E8DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98ad93f5c5e6694629e77866fe4296950d128186","datavalue":{"value":"simulation language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4875975$7F1E62F6-97AA-4806-813D-A268DAAD2158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4875975$C18F87BA-67E1-4EC9-8E03-AEB91AA50938","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":"Q4875975$2222B415-964D-492A-B7CC-CC62F65B4942","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"808c8e3a6b5e458348fc1577c5e47e76641ab0d4","datavalue":{"value":"W2083673874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4875975$E68B0C02-D8CC-4B31-871B-A525E21ED07C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"20d5897fe4b87576d2d3c0c3ff471ad09df14912","datavalue":{"value":"Q128297207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4875975$4CF244C3-973E-4536-BA6C-DD58CE884676","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8930ce10de5d502a6ae831db68742f99f6e94b7a","datavalue":{"value":{"entity-type":"item","numeric-id":582280,"id":"Q582280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3add1db32549578f47bbaa4aa5d1e939ebc6c696","datavalue":{"value":{"amount":"+0.7439258694648743","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":"Q4875975$78FBBEBA-D509-4751-B547-5DDF446AE933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"951ed91a008acda6c420f71bdfa83dae0b73cb61","datavalue":{"value":{"entity-type":"item","numeric-id":3680239,"id":"Q3680239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ea03dac9aa23483dc980afadad1b821707c276","datavalue":{"value":{"amount":"+0.7354824542999268","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":"Q4875975$931D869A-1710-46F3-9FB3-8922028BD142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c386be788eaf0f6449ebf2c0ed525de082408b7","datavalue":{"value":{"entity-type":"item","numeric-id":3806791,"id":"Q3806791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cfda9edfaeb43588c65a9690edab50fd9b6932d","datavalue":{"value":{"amount":"+0.7344244122505188","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":"Q4875975$20E7DF50-6F22-451C-A5E6-0CE80EEBFE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f569c47bb27b61486a42a57b852c4a00df9c395","datavalue":{"value":{"entity-type":"item","numeric-id":4028357,"id":"Q4028357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3a48639ad77eb5d50a3129f307b654b1720cf5","datavalue":{"value":{"amount":"+0.7333003282546997","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":"Q4875975$5A9A5B63-1FEC-4C1F-80CA-A7DAFE3470FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending temporal logic to support high-level simulations","badges":[]}}}}}