{"entities":{"Q3602799":{"pageid":5632705,"ns":120,"title":"Item:Q3602799","lastrevid":50571329,"modified":"2026-01-14T10:41:40Z","type":"item","id":"Q3602799","labels":{"en":{"language":"en","value":"Automated Compositional Reasoning of Intuitionistically Closed Regular Properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5507739"}},"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":"Q3602799$096E6B0D-9F93-407D-8DC3-D84C59DAF122","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db834cfbfefdc29e77a9cd037a02320ba04656c2","datavalue":{"value":{"text":"Automated Compositional Reasoning of Intuitionistically Closed Regular Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3602799$86B8238A-9063-462B-8D79-D394E5185D34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5811b458ef2848d10952b549be11ffd640df6c9","datavalue":{"value":"1172.68531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602799$ED588DBC-7FE2-4832-A1A4-3273785A0163","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02e58d2a5649fdc60fa32ccdfd5fbedf309851b3","datavalue":{"value":"10.1007/978-3-540-70844-5_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602799$091805A3-3101-431F-B24A-D7DC0D28801A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6b20f6ece5fa5cc40707815445e71b70bca478f","datavalue":{"value":{"entity-type":"item","numeric-id":671673,"id":"Q671673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602799$33FB96CC-6127-4CD6-9DEA-F4DCB42B77AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c17cf4b757376e81bb18052c33891da6bf831a","datavalue":{"value":{"entity-type":"item","numeric-id":832259,"id":"Q832259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602799$1A8A0EEA-D82D-4D6E-BAED-932FDF805474","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fc33cc230897c99aa6bb65ad297fa15150807a7b","datavalue":{"value":{"entity-type":"item","numeric-id":3602794,"id":"Q3602794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602799$52DAA23A-3BB7-404A-AC24-10204F8EEF33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"662c9d768c258b8c4aa4cc6d6ce95028979dfb46","datavalue":{"value":{"time":"+2009-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3602799$CA4CBE31-41E2-45BE-BEFC-B1BACF57D221","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602799$DC330A12-7F99-4941-BF11-229A5248DA40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1360772e082355424926648f61a6cc73428f14f8","datavalue":{"value":"5507739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602799$A7A4A42C-DEE0-4177-B351-C1130F5A4227","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":"Q3602799$C00DEA52-D838-4F8D-AAC8-0E30409EB061","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"119821a62a444ea06b41043c9c3188b4ede3e4a5","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70844-5_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3602799$5786805F-DD3D-4CF7-A8EC-4768A6B869D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b6fbb6d1aeeb7e58ff7e088298ce08dbb5b3744","datavalue":{"value":"W1520028750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602799$0D182040-0D54-4C6A-B470-DB7858E2B3DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"293747add7b6babd84264d0a6ac07c6ca700ec19","datavalue":{"value":{"entity-type":"item","numeric-id":685416,"id":"Q685416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602799$ADD590B1-080C-4551-80B7-24ACB1EB576A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602799$A632153C-03CE-4383-BF28-F05112237A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602799$EC7FF9C5-3665-48C3-A47C-115C6E96DEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602799$3FB58BF9-CBD0-414D-8F3A-1479845FA7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602799$AC3DD6EA-BA4E-414D-9FA3-7E92E756D290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a852f9828a60d6febd0b82b3b250f25d038b258c","datavalue":{"value":{"entity-type":"item","numeric-id":5458316,"id":"Q5458316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602799$B18DA73C-925F-429F-A488-532D4B33B45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a592cba5bd50a769a8b95145033ff13a570cf73","datavalue":{"value":{"entity-type":"item","numeric-id":5573396,"id":"Q5573396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602799$C50ECBF0-169D-4AB4-A2CC-2A1B3612D788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7582e86ac15a837da5a504aeed727db9664c0549","datavalue":{"value":{"entity-type":"item","numeric-id":5311264,"id":"Q5311264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602799$15935496-61EF-4D5E-B67B-CB27C5F8A108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394d3beb4a9fece0dbe9b5435363e4067e55d788","datavalue":{"value":{"entity-type":"item","numeric-id":1892893,"id":"Q1892893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602799$1D24ABDA-55DE-4F78-80A5-74FC468F9A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d82d8fbef7207e3a8c855b494fb9281aee4749","datavalue":{"value":{"entity-type":"item","numeric-id":2365762,"id":"Q2365762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602799$79F0C8F6-2F16-440D-8ACA-FA0CBD4275F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602799$5D293264-70E8-4052-AE17-92B9E262AB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602799$03D9C57B-8C75-4A27-B4CD-C8C50A3504DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1e092eb099a32d4d756ee9e4c56322cfbee0af","datavalue":{"value":{"entity-type":"item","numeric-id":3873568,"id":"Q3873568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602799$601F0486-9D37-4FE1-AB3A-71391F449BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f209a68e1836fb7b8443c57d62a9f9f05582e15d","datavalue":{"value":{"entity-type":"item","numeric-id":3525645,"id":"Q3525645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602799$1B24CCE0-1025-46ED-8582-DFC68423175A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b8f1a4c82d71e071b22d2b1481ed2813680977","datavalue":{"value":{"entity-type":"item","numeric-id":3395145,"id":"Q3395145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15998180dcdd343a7cca1939f859d1cd194e430a","datavalue":{"value":{"amount":"+0.9959251880645752","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":"Q3602799$13F7F3B8-8441-4505-9D90-A1131F75A537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"793c0d3f6db2b0e326a59803b219cdd305480f3a","datavalue":{"value":{"entity-type":"item","numeric-id":5458316,"id":"Q5458316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5742d8cb9b37eebbf50734688f100ca6f497e575","datavalue":{"value":{"amount":"+0.7631240487098694","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":"Q3602799$9BB3638F-5837-45AE-A78D-509D492ED860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60c2ca313a6cb60ede3bb494700554a7ac10a51","datavalue":{"value":{"entity-type":"item","numeric-id":934713,"id":"Q934713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca31ea702a038462c56d652695b4eabd61e1959","datavalue":{"value":{"amount":"+0.7251487970352173","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":"Q3602799$44D5CF7E-A87D-4C55-B00F-7744E75FA2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73cd0d021e3757dc40757116e7fc6f36ca798b43","datavalue":{"value":{"entity-type":"item","numeric-id":3525645,"id":"Q3525645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b6fcfb2d68acafa9de72ea54695e28e70f7d30","datavalue":{"value":{"amount":"+0.7238137125968933","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":"Q3602799$1D7307AC-A732-4EB2-953E-4CD8BDC3BD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51637123bcae3dc6cfb0a1cb2b40a2d84e5d4ea7","datavalue":{"value":{"entity-type":"item","numeric-id":4535066,"id":"Q4535066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da9ca618c736f26cad1888299f44750ea14afd19","datavalue":{"value":{"amount":"+0.7099691033363342","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":"Q3602799$91BA2D6F-5681-40F7-969B-239BECEFBC81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3602799","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3602799"}}}}}