{"entities":{"Q4938418":{"pageid":6968000,"ns":120,"title":"Item:Q4938418","lastrevid":47446180,"modified":"2026-01-01T18:51:47Z","type":"item","id":"Q4938418","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405444"}},"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":"Q4938418$788C39AD-69F1-44FC-808F-A32038486752","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a675b499b273ecb4089eb4cd34da6e913b8342a8","datavalue":{"value":"0939.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938418$F03F437C-4955-4D3A-A3DF-21DF838E9421","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2286efb444136e1100eb0b2f7ac6cc03053147b","datavalue":{"value":{"entity-type":"item","numeric-id":229750,"id":"Q229750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938418$399F82FC-069C-4EDC-BED0-8BFAAFB0BF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e85c5db1a6961ef0897daa8abccf0b647303a8","datavalue":{"value":{"entity-type":"item","numeric-id":229749,"id":"Q229749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938418$729DB74B-F0E3-4FFC-86DC-75FFE017630D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"845e4f5f58b2598e717bb4b3ff4ba4ac8e3d36a5","datavalue":{"value":{"entity-type":"item","numeric-id":4938417,"id":"Q4938417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938418$02BDCE0A-CBDE-4F1F-A279-6576F0580584","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be5ba67ef43776cb1ea5c3063837b367d1caf4b","datavalue":{"value":{"time":"+2000-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4938418$C6F19E47-B6FC-4D1A-9DE2-91346C7878BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938418$E3059F27-712E-418A-88AF-4E1A1F549A66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4695ff24a5166e2f2bf5bbaa117ccf5de6e56b5","datavalue":{"value":"1405444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938418$EA6F1696-455E-4350-92D5-43D54E6103D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a186fe60865125c7e79cf46e3bd47c9956c52a4d","datavalue":{"value":"recursive axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938418$2DE916CD-7E6E-4AB6-B30F-4DA6239D031C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938418$F23E5DBA-2351-4946-B4DD-16DCAA1C0445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"141f213385ceb257b41cbd8556f3ba1d7ce89fff","datavalue":{"value":"first-order linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938418$ACEA0216-8DFE-4678-A6F7-A1A8DF053D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"430565e7a1adb898baaa83e1c65745a485fd469c","datavalue":{"value":"finite time structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938418$C75AA03F-B6A3-4B02-9AC5-DE32B873A32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c96c670cb5bb3f93d571a5f56f1e88c84388368c","datavalue":{"value":"validity problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938418$2CAA6B3F-5A68-479E-BC56-0C789C7414D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c634fabcb939c60fdf658df41254d51898c56ce","datavalue":{"value":"bounded validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938418$4763619C-7465-45CE-8FF3-8031CB506C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f40b16c33a7e1c585ee57956e6e5cc9697019160","datavalue":{"value":"temporal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938418$C4A376D9-9304-46F0-8C56-CFA8F84BBB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938418$6496149C-8576-49BB-B9B5-5158E302B3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a555f4bd59b54b834193cf5281641c5391f332","datavalue":{"value":"temporal constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938418$97BF71C0-AFF7-4B15-AFC4-EAB1B48F12B1","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":"Q4938418$CF64A710-30BF-45F4-ACBE-9E555019D106","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081f354e5fc809597cd1b174c84f9cc080d00287","datavalue":{"value":{"entity-type":"item","numeric-id":2701983,"id":"Q2701983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9211ba0ec4a0e1fabce47f5beda442a1fc3932","datavalue":{"value":{"amount":"+0.8441848754882812","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":"Q4938418$9352057B-073A-4164-85B1-65B6B5F06B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05aa3dcda7621c0f67f1f397a8e1414dd729e7a","datavalue":{"value":{"entity-type":"item","numeric-id":2757840,"id":"Q2757840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d4bb6ee0bdbbbde69dc9f79b8c3e430206f3f64","datavalue":{"value":{"amount":"+0.8436362147331238","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":"Q4938418$36CAD49E-3EB4-4BD7-91DE-45577D2EF637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081bd63286da1909b7245ea381f5077097f31ff7","datavalue":{"value":{"entity-type":"item","numeric-id":2913981,"id":"Q2913981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569ebc743e5ade0237b78626c2cdd2a248f3cb57","datavalue":{"value":{"amount":"+0.8007508516311646","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":"Q4938418$E4C8F1EF-9966-4231-BCF0-48790C0F5589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6194f416d2385352b92d51a75642edf3f76343","datavalue":{"value":{"entity-type":"item","numeric-id":764266,"id":"Q764266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7525307c9671f61efd2086c960e109652d557e80","datavalue":{"value":{"amount":"+0.7917850017547607","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":"Q4938418$7F59471B-9B67-4F3B-9613-19503EAAF64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa488e25341d9e93dada166f13746f9be3023776","datavalue":{"value":{"entity-type":"item","numeric-id":1990508,"id":"Q1990508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d5089362d18fbe1bee448e2015c7174b5c6b38","datavalue":{"value":{"amount":"+0.7900776267051697","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":"Q4938418$4B2A893E-C70F-437C-8862-F2AC3D84A8C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4938418","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4938418"}}}}}