{"entities":{"Q1391744":{"pageid":1402484,"ns":120,"title":"Item:Q1391744","lastrevid":67329045,"modified":"2026-04-12T16:53:39Z","type":"item","id":"Q1391744","labels":{"en":{"language":"en","value":"Order-sorted model theory for temporal executable specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1178208"}},"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":"Q1391744$49E1A091-6CCE-4E41-83E7-EE8555C43DF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fb9849b94198bb6004c894f9536c40be94c4f84","datavalue":{"value":{"text":"Order-sorted model theory for temporal executable specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1391744$DEDC6316-2A7B-48D0-AAFE-F3C36581EAA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25550aec9e4875a427e526226a706c1db363bc47","datavalue":{"value":"0901.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391744$354E2E1C-0271-4DE2-B85A-962C4D34FA7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8f1d34d668c17b9a8173a94089b6c07f3311066","datavalue":{"value":"10.1016/S0304-3975(96)00134-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391744$C1E54C93-4408-41EB-A1AD-63BB06766D73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf22fb106a641c28ac8493b0085a51ae21fbbd04","datavalue":{"value":{"entity-type":"item","numeric-id":1391743,"id":"Q1391743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391744$F7554D24-69E3-49FC-B2F0-4164DEF80380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9150297fa07cb1636c028c848cdf4bd13b093647","datavalue":{"value":{"entity-type":"item","numeric-id":1217072,"id":"Q1217072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391744$0C44444F-B97C-4E4A-8D8A-8306DAFD2A86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391744$8E40380D-24E6-45A0-9249-1DB7DDE40BDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04855ee36d302f814b50229947d6c78840861251","datavalue":{"value":{"time":"+1998-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1391744$60BE9AAC-8038-4F48-A152-B7EE57444B49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391744$9347C8F4-CD19-414B-A030-EDE2976942D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391744$BB51366D-EEA7-4EA4-BA2C-9529B7104D39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9195e7965c0799d3b1d8f54fff3ef814152923c","datavalue":{"value":"1178208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391744$893E95B1-CE7B-43B6-8836-2EF57AB64621","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a8ab6cae883d3df847a0999c4fa4f203e98c0c","datavalue":{"value":"temporal Horn clause logic basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1391744$14511BBE-835B-456C-B381-67359041BE5D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f70d300d184d2214c5f3fd1a77a24a9291c84ca4","datavalue":{"value":{"entity-type":"item","numeric-id":18660,"id":"Q18660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391744$158F35B1-A683-4FDB-93D2-6790A5B0FB33","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":"Q1391744$3F9F677C-4793-4F53-BF41-600C84D77C7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8315dd575dfce9334526f8844b6c9efe2558e04c","datavalue":{"value":{"entity-type":"item","numeric-id":4004424,"id":"Q4004424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391744$74FEFAFA-2D33-46F4-9617-FEB044650DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40a27ea9c6097e6dfed4ead51e72029fd24f7d35","datavalue":{"value":{"entity-type":"item","numeric-id":4518414,"id":"Q4518414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391744$8CD3D587-E7D3-45E2-AA53-E06566B3FA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3562ac580d8bcdd2b8342bf06306ca73b4a05f","datavalue":{"value":{"entity-type":"item","numeric-id":4518441,"id":"Q4518441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391744$E51B9484-08A9-4650-83F8-360504298845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc952c4dd8b2618cd6914cf7fc4aa87c79fa4aa","datavalue":{"value":{"entity-type":"item","numeric-id":3716279,"id":"Q3716279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391744$73E03890-56BE-425F-806C-37A8DBBDDD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099e539a4445b58fda91ce61c7c5885fee9a27f8","datavalue":{"value":{"entity-type":"item","numeric-id":3030249,"id":"Q3030249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391744$72DB1826-83A3-4972-B087-6C61CDB65EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391744$A3660A9C-EFB3-4F99-BFD0-45F9EA33EB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1910b377ac42e096bae487e500284d3b5a4554","datavalue":{"value":{"entity-type":"item","numeric-id":4369882,"id":"Q4369882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391744$45B85B6B-08AD-402D-AD79-98C2839BE63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391744$D61C6094-2ECB-473B-AC47-6ED332018C0C","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":"Q1391744$A2F60CFB-16A4-4230-A23D-FDC7A654BF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391744$64CD349C-6060-4CFE-B2AB-C9B7AC25EDE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e71213d7a8812ad34c81c940fb6c42815725bf9","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(96)00134-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1391744$35BCF759-D8B3-4F38-95F4-780287375D4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03d6d048ac7d91d2dab068599e0f745f77a570e6","datavalue":{"value":"W2032196278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391744$5677C862-A9D1-41D6-9F7A-CC1A66752BBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"325362c1d06211e43dcf2b54fbf3082dfc09ef6f","datavalue":{"value":{"entity-type":"item","numeric-id":1854386,"id":"Q1854386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50b2d930e028c3ec92f62cebd1ad14b07f311887","datavalue":{"value":{"amount":"+0.804758608341217","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":"Q1391744$0FE70FF2-60DE-4CF2-8532-0F8D138A4354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f79cf3e3c60551968ca0eccf2871318487be8a03","datavalue":{"value":{"entity-type":"item","numeric-id":1996867,"id":"Q1996867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d61fd6219d54dd24b15392e84a3e746276a723","datavalue":{"value":{"amount":"+0.7251166701316833","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":"Q1391744$EE222FEE-20CA-47DF-8E1F-9709C1D1083B","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":"3192c0dd63f4b1efbd6971d5702a916be55f929d","datavalue":{"value":{"amount":"+0.7251150608062744","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":"Q1391744$9942F5F4-ECDD-4436-A7FB-F7C13E95D579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af7b1399e33678c6fdda60c36bf175cbf04247b7","datavalue":{"value":{"entity-type":"item","numeric-id":679329,"id":"Q679329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa038659adf0a9d9d4a4b09ef5b068c1d9b09ca","datavalue":{"value":{"amount":"+0.7198072671890259","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":"Q1391744$FA814E78-D12C-440A-A03D-68A23674EA1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Order-sorted model theory for temporal executable specifications","badges":[]}}}}}