{"entities":{"Q2303580":{"pageid":2314323,"ns":120,"title":"Item:Q2303580","lastrevid":43849506,"modified":"2025-11-15T12:47:12Z","type":"item","id":"Q2303580","labels":{"en":{"language":"en","value":"Rigid first-order hybrid logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7176918"}},"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":"Q2303580$653EBBB5-D17A-4FBB-965C-93B14119B08C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a45d92f3ed652f092cd095de7aa395754760bcbf","datavalue":{"value":{"text":"Rigid first-order hybrid logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2303580$27C8B8BE-7C60-49A2-B343-F163F3B2A41C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89d40f5a12e7fc62565ccc7457d39bd5f8bbe98a","datavalue":{"value":"10.1007/978-3-662-59533-6_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303580$07F46B1C-39DA-451A-A418-C2C361B8CEBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c046feff833ce0e6e8bb6d52d7ce260056affd","datavalue":{"value":{"entity-type":"item","numeric-id":209482,"id":"Q209482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303580$02871D2C-A162-4FBA-A7C4-2BA141CA42FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c4faf9ddded63e4939b1ea20c41b1258f0df791","datavalue":{"value":{"entity-type":"item","numeric-id":301372,"id":"Q301372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303580$D5776506-126E-47D4-A689-B17204D806D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f93cd18382af0067ee8c04bbac9fa33b71d6b21","datavalue":{"value":{"entity-type":"item","numeric-id":484099,"id":"Q484099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303580$3CCC675B-4DC4-4AF4-BB90-9D9B266B411B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16c27f1802df578a92c8e5d7cd119141d82ce2e5","datavalue":{"value":{"entity-type":"item","numeric-id":484100,"id":"Q484100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303580$DF1FFD66-00E0-4C03-8BF4-5B8454B67E14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28eb8a4277470500766552d0320b8f6735887226","datavalue":{"value":{"time":"+2020-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2303580$288796A9-5079-41B1-8753-42D5044CF489","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d9c96427ec16514e64f8d31a9f9a7ddfc46c771","datavalue":{"value":"http://hdl.handle.net/10773/26443","type":"string"},"datatype":"url"},"type":"statement","id":"Q2303580$C5CF7A53-BE4D-459E-B9E2-737477BCC1C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303580$43BE89F0-DBC5-49A6-93D8-B34EAD9909DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6d354eb342e4b59d45e4262ddb92554b3ba9169","datavalue":{"value":"7176918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303580$8F188611-4F3A-4BCD-B1ED-2ABFEBD3C34E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303580$4C3CD2CF-54CE-4106-B623-49179D79724F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303580$4B264302-0B04-4C9E-AD47-50BD9BD87328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67d02a1f917109fb39b6d4dd829abea31e85c320","datavalue":{"value":"rigidity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303580$DA9AA7AE-C88C-498D-9740-AEFA841ECA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b04541b8fc063de90ec4ca7bf8006dc337bbb11d","datavalue":{"value":"rigid predicate symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303580$92A4F22D-E441-4382-B911-B1EB1DFF143E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d6217c926fca77dbfd91f47d77cc8214a998072","datavalue":{"value":"function symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303580$4BA2E458-E744-48C6-84AC-A5B9D03EC00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bd24dd4588f7466e5e72f0f51a7a971a139a912","datavalue":{"value":"varying domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303580$33EB5C07-9B68-43CD-A35B-9EF0C1133C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac4556722a537e120a59d8391fb54496b9e7ee8","datavalue":{"value":"actualist semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303580$98C76F98-5835-4B81-B188-98AF598A1B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc67da8d805b6985f4413efc6abf0bb23d243d1b","datavalue":{"value":"henkin models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303580$6A118CBB-F1AD-4A87-B0D5-1367DB3DF87E","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":"Q2303580$71699BB5-6447-4DA9-83E5-F58802D993EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f49020b200a9549ab6947fa2ca93c82eda5bb5d6","datavalue":{"value":"W2953368077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303580$BEC1237D-E965-46BF-90CB-B79C604011D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61e8d8466b42fefc9ba9489da6e8b1a6c4ed5c6","datavalue":{"value":{"entity-type":"item","numeric-id":3183527,"id":"Q3183527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e633be50da3d45d08c13f94101b5b7133fa0a4","datavalue":{"value":{"amount":"+0.87857145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2303580$B90379CD-69BD-4DE8-A4BD-39E3645A4CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"113f7362d5497ce99eb1fc8e00b78c6605a7a92b","datavalue":{"value":{"entity-type":"item","numeric-id":5868872,"id":"Q5868872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8597da7a6691c4c214284e8dd76a798151f308a6","datavalue":{"value":{"amount":"+0.87573624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2303580$2855F8AC-4679-43A3-862D-8F5A8B466CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a49446b60c5652df2b3dc3ea673f2e51cea05a","datavalue":{"value":{"entity-type":"item","numeric-id":4342019,"id":"Q4342019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8597da7a6691c4c214284e8dd76a798151f308a6","datavalue":{"value":{"amount":"+0.87573624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2303580$A29F0F64-85F2-4DC3-BE91-ADD65CDB56E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4a9d4ef32ead7fa656f4a36820173839f32cac","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43cd465b9c9eb2b8d08c9402470ceffc8907c186","datavalue":{"value":{"amount":"+0.8757361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2303580$BCAF3017-29FD-4F47-AD44-9F3AED2BABDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3aca0efd646fb8e0c88f82fb837327a39c7db47","datavalue":{"value":{"entity-type":"item","numeric-id":4950082,"id":"Q4950082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a04bfeffc0a45eb0b359705745dd92930a125b8","datavalue":{"value":{"amount":"+0.87288105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2303580$85B3135C-143A-46F2-A626-F5B14D43F29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d52c0b399ff4ca4b0b18f94741e5a01b4a7f2628","datavalue":{"value":{"entity-type":"item","numeric-id":2180522,"id":"Q2180522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a8c2210d9093443a0c2d0b544ce7e29cabcc722","datavalue":{"value":{"amount":"+0.87277645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2303580$9E3D7874-B74F-47E4-973C-7BE6BE37C6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d313e7f1c26a2551d6fe06601a87d25385c56f0","datavalue":{"value":{"entity-type":"item","numeric-id":1777372,"id":"Q1777372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e54b25c9d78aa34b5a9083ffb5c97ef3b66e29d","datavalue":{"value":{"amount":"+0.87059397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2303580$CF244128-F25C-4AA0-BA3D-7BA2423F953B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e18215e6aaab067da7d24ea47c533fd8badc44","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5367e5cf85ac6760374388e47c9ec064f3cf4c62","datavalue":{"value":{"amount":"+0.8683186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2303580$0BE9E404-8509-4786-9966-C7530B215178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0528b1a95ac25e7672938cf2137e84e9856dfdb3","datavalue":{"value":{"entity-type":"item","numeric-id":598308,"id":"Q598308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f273e4a8befced95883e0947571104f781e715","datavalue":{"value":{"amount":"+0.8677643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2303580$778F249B-9F22-4450-85D7-7A26FA6A48D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2303580","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2303580"}}}}}