{"entities":{"Q6488130":{"pageid":14066899,"ns":120,"title":"Item:Q6488130","lastrevid":47832625,"modified":"2026-01-02T19:59:06Z","type":"item","id":"Q6488130","labels":{"en":{"language":"en","value":"Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7669053"}},"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":"Q6488130$8E43F28F-FB81-47C8-98E7-AAEE21756939","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef2e0c97a046ed4a118cea5b4a90a166e52ae37b","datavalue":{"value":{"text":"Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488130$DC04FC88-13E0-4509-B665-A155090BA4D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42a7dd86a53dc2fa31b5cba3748b6629591f6555","datavalue":{"value":"1519.68256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488130$EBD87284-A71C-4825-960B-CD8DFDC44BCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aed71a8b6444a8155dd73975d885eeaa3cfc58b9","datavalue":{"value":"10.1007/978-3-030-58285-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488130$F8E57123-8108-4C9C-9581-5578535706DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32a3636d7f6342276aad03dc3c68edbedd32b221","datavalue":{"value":{"entity-type":"item","numeric-id":6488129,"id":"Q6488129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488130$8E4B339F-A8DD-4CC4-972F-3F5B87B9B628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488130$B08EC49B-820D-4728-B3F0-2486DEEAE4DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9392fc1373ca37dd9973a2f3b99144329cde46b8","datavalue":{"value":{"time":"+2023-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488130$7C2066BC-AA49-4D6B-B7E8-78BE520C294A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488130$91B06811-32D7-40B5-AC4A-ED03A5FE6DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488130$8B5E135D-E639-40B1-95B3-9D2A1FE330FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488130$CAA6A4D2-7116-4F51-86E8-C92354E17A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488130$BD084897-141A-4DE9-A769-5B782E20BB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488130$043FAB6A-E3C0-4609-96B8-ED97424B50C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33d4651cac5db02e0ef59870de06cb221b9a8e8f","datavalue":{"value":"7669053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488130$D6FF0A39-E657-4C66-A53F-993A256869A9","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":"Q6488130$9C621424-B7FC-4C80-BCF0-D55297A78CC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32643632a441d0ab22fe3cd3772e94d103eb24c","datavalue":{"value":{"entity-type":"item","numeric-id":2819197,"id":"Q2819197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fac27d0ebac4821320067a803ab63d6ce04b799","datavalue":{"value":{"amount":"+0.8130578994750977","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":"Q6488130$DD045B5C-7616-4B54-923A-AC777D2996E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95552b22b5e0b217af0693c33451090c3d5350ab","datavalue":{"value":{"entity-type":"item","numeric-id":2303232,"id":"Q2303232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54078e820d0f82c2a4ac27132beb8454925f7a6e","datavalue":{"value":{"amount":"+0.7609035968780518","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":"Q6488130$37A02CC3-A1A3-48BD-B385-DEBAA410127D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f984a756906cfb1dce1489979f95c15ae7718deb","datavalue":{"value":{"entity-type":"item","numeric-id":4532198,"id":"Q4532198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"959b1071d2540cffa79f14c990cf1d0f24f856c9","datavalue":{"value":{"amount":"+0.7416226267814636","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":"Q6488130$FB8DD0E0-7DF6-405C-A0AE-355B190E45A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed41957d705eda5c089e1409b78d078ef8beb557","datavalue":{"value":{"entity-type":"item","numeric-id":1576387,"id":"Q1576387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"288aab4e3f43a16e43468cbe241d6d4e104917f9","datavalue":{"value":{"amount":"+0.7391237616539001","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":"Q6488130$6E0062E0-D3EA-4789-AB89-0839636384C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2af0d8b4e7b2d46baed24deb26a7bae58ee1c4a0","datavalue":{"value":{"entity-type":"item","numeric-id":4793394,"id":"Q4793394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a0c287fa395041fc309a51f7809e372a84150f0","datavalue":{"value":{"amount":"+0.724097490310669","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":"Q6488130$BFEEAB5F-93C0-40ED-BEE6-7DB3C359A25D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488130","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488130"}}}}}