{"entities":{"Q2247805":{"pageid":2258548,"ns":120,"title":"Item:Q2247805","lastrevid":71676771,"modified":"2026-04-13T23:49:31Z","type":"item","id":"Q2247805","labels":{"en":{"language":"en","value":"First-order logics of quasiary predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6309708"}},"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":"Q2247805$5E4C5A44-0896-4304-983F-C123A5ACEE42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dada717056c938db77501e2397332fd805874ff0","datavalue":{"value":{"text":"First-order logics of quasiary predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2247805$77A743F3-6C20-4A0A-9DF1-0A1FEDBDA723","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d59dc07f09c36d468da80cbf71b572e277b1ffb","datavalue":{"value":"1291.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2247805$5BEFCB4E-0481-4A52-A6B0-F96C5BFC1E73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d4e935324ee0360f5ae781553624316d7b50233","datavalue":{"value":{"entity-type":"item","numeric-id":2247804,"id":"Q2247804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247805$90C72479-5B0F-4EAD-BB9A-FAF988AC607C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247805$12894C5A-B1FB-40C8-95C6-93AC0F625C70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"117a9f146c2b43e9cf22c7fca681da0aad1e0ba1","datavalue":{"value":{"time":"+2014-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2247805$8B7FBCE8-235C-4F57-ABFB-9A848E906DB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2247805$0AE1422E-CF9E-4F46-8B1C-4C9327E9A03B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cbc850900509be0eb982a340cde375760303c90","datavalue":{"value":"6309708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2247805$80C3D979-4566-490C-A2F6-90D548CF3D5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37ef907843c693fb2ba5a5c15d7526e78b3dce6b","datavalue":{"value":"composition programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2247805$95E9DA53-6EE7-4BD9-9B0C-B20BE0AAA3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326a16a357fa3ce5256da9686e391e0517250287","datavalue":{"value":"composite-nominative approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q2247805$6A70A093-8CD7-4232-B5BC-1059879A6CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2247805$111348BD-C1E4-4F5C-B846-DA3DFFCA4B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2247805$51ADAA02-AF1B-4185-ADA7-FA43DE117172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c7bed0219ebe53f730a1dd79a7b67f3923119b9","datavalue":{"value":"nominative datum","type":"string"},"datatype":"string"},"type":"statement","id":"Q2247805$E336880F-891B-4AAF-9513-79B4F661AD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed5f0c18decf8c2eb57fddb661a4ff8cbd46d56d","datavalue":{"value":"name set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2247805$328D20F1-5493-4E97-B391-2AE4B002D1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"675afa3c25eea9ad6c6bf015aa59e0f3d6ecea84","datavalue":{"value":"predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2247805$7B6915C0-429D-4E7C-A2AE-62DAB62B675E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9946779af43068db84959d7ebfa6d74959256af","datavalue":{"value":"composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2247805$6CA6F7D9-0F2A-45C6-AF6D-042051DF7F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23d0473a8499d763f268eb09331c3af7c489c152","datavalue":{"value":"logical consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2247805$E3E90BAF-2C8D-479B-8D9C-EE75A9DB42D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"051696cb87edd0fc1a5244174f69dde868702fb7","datavalue":{"value":"calculation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2247805$D714FD5A-5A9A-4394-9474-F61D425EFEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2247805$D05BB83F-C52B-4B40-9F08-61FFAE72AE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2247805$6FFB628D-8AC0-40C9-A99B-E40BFA895936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2247805$8989BCF9-2782-440B-8E2D-C8B23C5B9BDD","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":"Q2247805$9A135BE9-6808-45E6-95C0-8B496AF1CD16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"436ead5d0c31fe12b853e97a2a01f88b434c16c8","datavalue":{"value":"https://doi.org/10.1007/s10559-010-9270-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2247805$A1319A78-4BB6-4D8D-AAF1-50EA2DBA2FBE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c96a4b624e6a7f5aa82d88eb7f24b1b6d40bec3","datavalue":{"value":"W2009763621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2247805$EAC7ADDD-449D-49A5-9756-75E1212F95CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a21b0feda259488dc403fb190f3fd6c338aee55","datavalue":{"value":{"entity-type":"item","numeric-id":1288657,"id":"Q1288657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247805$AC8191C6-E76C-4C99-89A4-6E2A844FC52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73077fb34a2a0a51c3dfc6278fd13768562c600e","datavalue":{"value":{"entity-type":"item","numeric-id":1592004,"id":"Q1592004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247805$2834E87C-1C82-41A1-9086-9510159E80AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505ed0ccd70e9dac58c0d9145b209425580f86f4","datavalue":{"value":{"entity-type":"item","numeric-id":4857386,"id":"Q4857386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247805$2790C541-8453-4257-9C55-3626F6273CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c89586af53b5bf8d0d4510135827e0282afae2","datavalue":{"value":{"entity-type":"item","numeric-id":5181653,"id":"Q5181653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247805$0B7AE21E-D1D0-4332-8928-D6117C6370B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3de218cf6971fb86300b4e76863e1d4d067f21b1","datavalue":{"value":{"entity-type":"item","numeric-id":1407111,"id":"Q1407111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247805$96D3C3C4-2FF2-44A2-BF9E-0D9CBB02B445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d7f6c8871b15533f50c1c17e72ab9da8f5b2a2","datavalue":{"value":{"entity-type":"item","numeric-id":4418118,"id":"Q4418118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247805$773F32B7-35F6-4BD3-BDDB-E552C59D6E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76137d7f32ed348358412dfb568be8df5c3895d3","datavalue":{"value":{"entity-type":"item","numeric-id":2751833,"id":"Q2751833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2247805$03460329-C0B5-4951-A5EC-B1CB4393D541","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9d8685be3b9d6b5e1eeeec740a999102ffae8ea","datavalue":{"value":"10.1007/S10559-010-9270-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2247805$C9958ACD-5E06-4D28-B120-83A258EA4EE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd04616c11db1fc6218d675165ae478d37a4e440","datavalue":{"value":{"entity-type":"item","numeric-id":2850352,"id":"Q2850352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e298d8bf32c8d9219687cc7646349d071e10291","datavalue":{"value":{"amount":"+0.9022082090377808","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":"Q2247805$D7AAFC4B-8D17-4A83-AD26-B38F113CCB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450028a69da23b62e34f401ef256e252512c166d","datavalue":{"value":{"entity-type":"item","numeric-id":2897499,"id":"Q2897499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a661c64929b07c9a87c929026b0b9c376112f112","datavalue":{"value":{"amount":"+0.8870369791984558","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":"Q2247805$EAC2E156-0439-4973-9086-8386646A6A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1d7cc630224f3555108fd38d6905937291adf61","datavalue":{"value":{"entity-type":"item","numeric-id":4676766,"id":"Q4676766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7795da78906d14fbef6a147820f750012c7d295","datavalue":{"value":{"amount":"+0.8765281438827515","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":"Q2247805$52085A17-2FD8-48E3-BFDC-FF590D1CB468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c38a77f51d62118456c1957dfc65191033b295d","datavalue":{"value":{"entity-type":"item","numeric-id":5467757,"id":"Q5467757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1c0ab4cc7a2fdc47f36c926d9b60e5082b068c4","datavalue":{"value":{"amount":"+0.8764009475708008","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":"Q2247805$17D8BEBA-25A0-407A-A10D-C3D1ACC4171C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9568c6f6606aad22cc62039024880dee53ca12d3","datavalue":{"value":{"entity-type":"item","numeric-id":2850367,"id":"Q2850367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13ac9967d4a3f3597e542ce994ca76a8929fc261","datavalue":{"value":{"amount":"+0.8514518141746521","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":"Q2247805$81AE3A39-6F80-416C-B1B9-D3EEB7217022","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order logics of quasiary predicates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-order_logics_of_quasiary_predicates"}}}}}