{"entities":{"Q1370602":{"pageid":1381342,"ns":120,"title":"Item:Q1370602","lastrevid":46493961,"modified":"2025-12-24T22:04:49Z","type":"item","id":"Q1370602","labels":{"en":{"language":"en","value":"Automated reasoning with function evaluation for COCOLOG"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1078872"}},"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":"Q1370602$9E1C6717-2B19-4735-A503-1238021F9406","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8aa8a80bd74b89bf3fc352de49a2c13804ce9932","datavalue":{"value":{"text":"Automated reasoning with function evaluation for COCOLOG","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1370602$A0B9C49D-0963-41CA-833B-EB1ACA96501F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c50220f989786b482274e54bd74808909170f03","datavalue":{"value":"0880.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370602$FE1BA9FA-A83B-4B9B-955D-9792DED6CA53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c77a29f522e995424b131a8f859fbe39cf8e235","datavalue":{"value":"10.1023/A:1018936612538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370602$61EAB652-2C49-4C68-8BEC-70A726A7595C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90019af58a5fc25e95324905cf2670deba407189","datavalue":{"value":{"entity-type":"item","numeric-id":1370601,"id":"Q1370601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370602$9218912F-2AE7-4E88-92BC-8B084CBD3EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66db70bea35f58ae82dac21d00bca7be39de5465","datavalue":{"value":{"entity-type":"item","numeric-id":1006518,"id":"Q1006518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370602$CE3A9773-0457-48CB-BCEC-5ABE152A7923","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370602$A500C79D-C0D3-44CB-A6B7-4496F03E53B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0eaf19f8434564cff6a93a80be5427b161bea94","datavalue":{"value":{"time":"+1998-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1370602$F63B7F75-C2C6-4144-B38A-34F449629463","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370602$799E8191-517A-42E4-AF17-37983A25C1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370602$05C093F2-AC33-4F8F-A330-A68D96A2DCF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df8d577cecb38e6c8ea8400750711299e9784bbf","datavalue":{"value":"1078872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370602$31ECA301-A1E0-4D83-B43B-3583D14E5BAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7920b95f76a56d6580b2d82aebe2239bc5db3fb3","datavalue":{"value":"conditional observer and controller logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1370602$72909E8C-82F2-4840-B572-E27486F4CFE0","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":"Q1370602$BD3B165D-8E94-47CB-879D-5EF18F167AFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b83d6eb27af9ca68d59c4b2fa152dc022333ea","datavalue":{"value":{"entity-type":"item","numeric-id":4862432,"id":"Q4862432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce092ae6258fadbb25e29aad74336f4bc6a56ed","datavalue":{"value":{"amount":"+0.8182690143585205","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":"Q1370602$9DFAB12B-F6B4-43E7-AF0D-762DC6535664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61bcd08728b816c6501f91f73d5b3619670eed4c","datavalue":{"value":{"entity-type":"item","numeric-id":4715974,"id":"Q4715974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ad072675cfb49c2df4cacde7746c065fb222b4","datavalue":{"value":{"amount":"+0.8002761602401733","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":"Q1370602$968A9BA7-F103-4307-B618-4121A120F52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877ecc6980064d1d02f151f5e64b7ceb9a17bb67","datavalue":{"value":{"entity-type":"item","numeric-id":4845324,"id":"Q4845324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977984b2ae651d62361dfc852f1e9642417a9f1a","datavalue":{"value":{"amount":"+0.7883678078651428","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":"Q1370602$402E4DFC-8636-4F8F-AFC2-179C6C317653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a198c50b69a06da8122ebef0eed68220a4fa36","datavalue":{"value":{"entity-type":"item","numeric-id":4374110,"id":"Q4374110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d06b77a25c576bd08208beb460ae7906941ec0c0","datavalue":{"value":{"amount":"+0.7321711778640747","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":"Q1370602$C0545892-2B78-4A8B-A479-E83115A587F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1370602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1370602"}}}}}