{"entities":{"Q4354884":{"pageid":6384483,"ns":120,"title":"Item:Q4354884","lastrevid":46484301,"modified":"2025-12-24T21:39:16Z","type":"item","id":"Q4354884","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1062287"}},"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":"Q4354884$751DFEA2-8B7B-4436-A225-4D34D7C774F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59830ff398ca269e9eed314768f085725a3e4279","datavalue":{"value":"0878.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4354884$DF4EEC89-91D1-468C-B8BD-FF3CA672EC27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf2d45db9c1db484d129b39e42f07a05d1499f49","datavalue":{"value":{"entity-type":"item","numeric-id":4354883,"id":"Q4354883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4354884$9FB42470-4788-4C79-A6DF-14BB94362A6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9331eb4e7369aa8dd073b64984e4f3d45aee1e25","datavalue":{"value":{"time":"+1997-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4354884$60316522-070A-4DCA-B5F8-10DF13ABBC51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4354884$3F5C722D-EB2A-4A73-BBDB-4D452B9BE5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4354884$854D7610-3B17-47E4-9EB0-B8A1C5ADB7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4354884$18A3DEC8-3819-4324-9AE4-2DA555D08874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4354884$804CF112-190F-4FF0-AF0A-4016B6862FE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab808aadb076d61fb5e223b7522c5ca43dc75aaf","datavalue":{"value":"1062287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4354884$C2341AD0-0430-448E-A71B-824528A768BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ead7e16d5225b4cd98d2bcabc7c6c792994466","datavalue":{"value":"sentential logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4354884$82BD5D86-67ED-4A77-B645-3F02D2ACCD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70fadf4cc6023905af389e68253c1858dadfbfee","datavalue":{"value":"Robinson property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4354884$84B30AA0-6CC3-4343-9E70-2129D4CFA084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4354884$4ACE78A4-CDFC-4885-ADD9-A6C1378EBE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93b296cbd3b6615dbf492620efa90e96db5f5a11","datavalue":{"value":"Halld\u00e9n-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4354884$66620062-C503-4E8C-ABEC-CDCAEB27B99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffb4b171a5610cd6d287afc3582496be31122a9","datavalue":{"value":"Beth property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4354884$088D660D-2143-461A-ACD7-B5BFD1E3F9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd72428bb0c10f9d233733680fe8ea8f7bc7165a","datavalue":{"value":"first-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4354884$DCBBB7E1-5163-4FDE-B154-04D0D0FE9668","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":"Q4354884$9DEF3C5A-EF48-47A8-B1D7-1C398F0E3E3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592d681e7e80ddd5484a31b52ecd968633013cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1073010,"id":"Q1073010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f84aed61e9b3177dfa8e4444001e91d168bc485e","datavalue":{"value":{"amount":"+0.8295142650604248","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":"Q4354884$273C7D6C-BB2C-462E-BE9B-FD775560D073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d06c8db1e40f7eaea9591f257fd20af960d9d1","datavalue":{"value":{"entity-type":"item","numeric-id":3784046,"id":"Q3784046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6736f4dc7e3f3881608bfe220d8fd259aaf7f790","datavalue":{"value":{"amount":"+0.8259556889533997","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":"Q4354884$CF1DE413-A9BB-4483-8DF6-0DBA31E78846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a324843149713fa13b2c7edd2429fc59a0b240a","datavalue":{"value":{"entity-type":"item","numeric-id":1913298,"id":"Q1913298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f7f38dd5678b884c5ac0ce458197f9db4190285","datavalue":{"value":{"amount":"+0.8077672123908997","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":"Q4354884$77925FC4-1C47-4270-BCE9-812C45C710F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fae20821f5bc3e90021213f5b9c530dbe42cc8a","datavalue":{"value":{"entity-type":"item","numeric-id":431717,"id":"Q431717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292c2e07d001d8f72f5e3f69eec48acd12e3298f","datavalue":{"value":{"amount":"+0.807518482208252","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":"Q4354884$9A47F7F7-6BE8-4F6F-897F-6D0CF6E57AE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4354884","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4354884"}}}}}