{"entities":{"Q4535119":{"pageid":6564711,"ns":120,"title":"Item:Q4535119","lastrevid":47929543,"modified":"2026-01-03T02:57:19Z","type":"item","id":"Q4535119","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1754691"}},"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":"Q4535119$2556A41F-1AB4-449B-9E0E-30FF65C23874","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac035c9e1ffff203899951e565f94df7a64f441f","datavalue":{"value":"1052.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4535119$7719CEEC-690A-443A-A6E4-298230932ACD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73208ac77eb6ceb840c3877e56c6921a6af9ca42","datavalue":{"value":{"entity-type":"item","numeric-id":197868,"id":"Q197868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4535119$59D8BD59-6E8F-4431-AAD9-61749D42E315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0816c3b3a23cdb536cf48ff8cadc4b903d9115ea","datavalue":{"value":{"entity-type":"item","numeric-id":1376097,"id":"Q1376097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4535119$D3E1974E-F76B-43F6-A9E0-33C49C0CA20A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"274c9f42afbb798f6ad23f874ead576e8a013675","datavalue":{"value":{"time":"+2002-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4535119$F6523578-A677-46C5-BA8F-6EF2AE6C5052","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4535119$46C256A5-F020-4ACA-B4B9-52A284FAEE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4535119$9C086A00-BD6F-48B1-9588-B68B7B4649FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e2d75523104fd32a502acb07372f04dcb915e35","datavalue":{"value":"1754691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4535119$B5852772-D81C-4839-9C18-8446437A5AA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d947e7967361ef620e3c624da20a4a31865fc4cc","datavalue":{"value":"Clark's completion semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4535119$D43E3DD4-2F81-4B3A-922F-C954313333A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07d0073098ceb22a54fa5f1854d72f66c4b05bbb","datavalue":{"value":"situation calculus semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4535119$0E78213D-6DEA-4F7C-933A-74A865B30CAE","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":"Q4535119$F00384FA-56BD-4BC0-9D50-7D6C5E5C4FB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0634e9de8d33207aa0e4514b9946d185103c844","datavalue":{"value":{"entity-type":"item","numeric-id":4352536,"id":"Q4352536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2c61d7423475a2a5371afca89dd5ab2e1a16ba9","datavalue":{"value":{"amount":"+0.9265120029449464","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":"Q4535119$21431023-C710-4FCC-86A4-F84E3CBB56E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7530272832f41eab9403e6bd4d89b6d9c14b47","datavalue":{"value":{"entity-type":"item","numeric-id":4035697,"id":"Q4035697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e2dab3b41f8f0933e5843af951290066f97d88","datavalue":{"value":{"amount":"+0.9265117645263672","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":"Q4535119$BC8C3664-5D59-473B-98C1-21C21A047795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ad3b63c028839ccf52f7a3fa96847e380de584e","datavalue":{"value":{"entity-type":"item","numeric-id":1274764,"id":"Q1274764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85c0441e3e77d73627e9d37308e01c2f62395a7","datavalue":{"value":{"amount":"+0.7908102869987488","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":"Q4535119$3EA124C2-BEBF-4F12-A988-CDEE97F49798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c1ba2be37cc6a4a691d478328b4501fda6d1ec1","datavalue":{"value":{"entity-type":"item","numeric-id":5101452,"id":"Q5101452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01fd0f13bdabaa987744c60a781e3f625d09db7c","datavalue":{"value":{"amount":"+0.7860845327377319","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":"Q4535119$0E779502-FC59-4821-BF5C-D92CBDAEF862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489c2f39a1831141b4f06404278419f93eb393ed","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdd37440f9d0c0f525fdbde891e66e2a464cb6f9","datavalue":{"value":{"amount":"+0.7853121757507324","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":"Q4535119$36655DB4-4130-4E5E-95D4-C223A27D72DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4535119","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4535119"}}}}}