{"entities":{"Q4635661":{"pageid":6665242,"ns":120,"title":"Item:Q4635661","lastrevid":53070395,"modified":"2026-01-24T04:10:31Z","type":"item","id":"Q4635661","labels":{"en":{"language":"en","value":"Logics with counting and equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863134"}},"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":"Q4635661$5408A7D2-1BB0-4633-8116-E9D0CB8DE3A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3298ba82075fd7d9fcce3c0400fdd0f72fc580ad","datavalue":{"value":{"text":"Logics with counting and equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635661$982B175C-2FAE-4292-B49E-C5089827721E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"624a140ae6380bf751d6d3cdb77a2eb202e9cf03","datavalue":{"value":"1394.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635661$72237893-B208-48A5-B663-E13B56B73F07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a235814e3ab1e72a26b4260248d3d9ab16d2e030","datavalue":{"value":"10.1145/2603088.2603117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635661$C3837F7F-B674-4DE1-940B-5723F66AEAF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8cfac01b20b442a0f2bc5739cafa25fbe3ad63f","datavalue":{"value":{"entity-type":"item","numeric-id":464616,"id":"Q464616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635661$DD12091F-CD3D-42F4-9B13-61E79C8B7430","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635661$DE784E4F-D99D-482B-9042-58E6C2CEEEC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635661$DD0D51D9-010A-44E2-9449-5112D5D7F71C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635661$37F14E9C-0B2E-4590-AE9C-152E093A9D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635661$1D3B1082-61C2-4849-8EFA-6928391631D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635661$782408BF-0703-46C4-AB96-58B1CECDEACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635661$EA002CF6-7478-4878-B8BB-15BF602733D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"605a29fe92a6e10deb7228e58563280301dcd750","datavalue":{"value":"6863134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635661$559F0DB1-953E-46EF-BA4E-27A63951FDDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635661$301F9E91-9450-4A1C-9672-482EA5BC0232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd7884f20c8f87422bbc52076fab6a08675c0a24","datavalue":{"value":"equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635661$DFB93E2A-172F-4585-9CFF-985F604756FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635661$47991339-A362-4D92-9A66-6B4715249FB3","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":"Q4635661$D546791D-A060-4479-92DD-FA4EF9A20BDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ac823619d0a38954adb77f9d095de45354f3b62","datavalue":{"value":"https://doi.org/10.1145/2603088.2603117","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635661$6F64C336-BD54-4AB5-9956-0B77AEEB42C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c5f33149fa4a89a05c37e5236b743e8a162439a","datavalue":{"value":"W1982412713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635661$A049D4D6-9C4B-4C59-BF3F-712D17E4C523","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"def343a91a7e4ae8889732e4d7763aef718f5e97","datavalue":{"value":"Q130892449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635661$FA9DFC11-DA39-4FC9-9A35-377C8062C1F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc7b13a6a8d064b4ea1edf15b6f5a6a8907067d","datavalue":{"value":{"entity-type":"item","numeric-id":3460527,"id":"Q3460527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b892c986bab059426b0a139532f4f78824923e28","datavalue":{"value":{"amount":"+0.974754273891449","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":"Q4635661$B5F7F926-F518-43B5-BB42-426215C3882E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a56dd684016184938d6ac97cae8cac93f07a7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":5895185,"id":"Q5895185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1df940d4c785247598ae836bb3d42dcea29590e","datavalue":{"value":{"amount":"+0.8582682013511658","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":"Q4635661$8A367DA3-DB14-4E96-BA74-FD59193AEC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb91c7c455bd925b700a558521cf05483beb60e","datavalue":{"value":{"entity-type":"item","numeric-id":5892437,"id":"Q5892437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54d30573c178d2f32cf6795d94d19f77bffc27d","datavalue":{"value":{"amount":"+0.8579508662223816","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":"Q4635661$F3C719A7-86EC-4C41-AC5A-1BE0052BDDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe432c4cbedfe36f6f9d088a1b5998db47f081b","datavalue":{"value":{"entity-type":"item","numeric-id":4943858,"id":"Q4943858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f911d0e08ec6643f3a04ab879045bf33240855c0","datavalue":{"value":{"amount":"+0.856267511844635","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":"Q4635661$501B3CC7-1671-4CED-81B7-37CE0F80661A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70f6c2e823a628d05a61b731eb56c153e579c030","datavalue":{"value":{"entity-type":"item","numeric-id":5222957,"id":"Q5222957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f911d0e08ec6643f3a04ab879045bf33240855c0","datavalue":{"value":{"amount":"+0.856267511844635","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":"Q4635661$8D91D633-30FF-4B77-B8FE-AE1AACC7CA71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635661","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635661"}}}}}