{"entities":{"Q4636298":{"pageid":6665879,"ns":120,"title":"Item:Q4636298","lastrevid":58316115,"modified":"2026-04-04T16:52:42Z","type":"item","id":"Q4636298","labels":{"en":{"language":"en","value":"One-dimensional fragment of first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863864"}},"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":"Q4636298$5FD69C16-41D9-4FE4-BC42-D557C13D95E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"143dec2fa844f7351d7a4b118b5e97bf743a9f2c","datavalue":{"value":"1385.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636298$4DC3140B-588E-411F-A865-F7AE56DA8BFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4601a858f87638d70dc47292abc072f2d23b4985","datavalue":{"value":{"entity-type":"item","numeric-id":259069,"id":"Q259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636298$F846233A-51D4-47FE-9B70-9A1D4EFB9573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5701ad4194f8eb6060f36ec886e2cd63ec21f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":259070,"id":"Q259070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636298$832ADE7B-43D7-473D-8AAF-50511FA23016","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":"Q4636298$343A85E8-1E36-4CE5-A2A1-F8D1D538987E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ef97c548f92c282d32e82f30468676d9603e4fd","datavalue":{"value":"https://arxiv.org/abs/1404.4004","type":"string"},"datatype":"url"},"type":"statement","id":"Q4636298$62EC4B23-A307-45D1-8F30-B4AEA739EC45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636298$3065C0A7-0FBB-4679-985F-34A155CFA76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636298$5AD012ED-F861-4A98-A13B-0A3BEC922D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636298$643C0C9F-22B0-476E-8B06-5A3A5170D680","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9616d99e3968a8861b43d13c9b306213f194fdbd","datavalue":{"value":"6863864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636298$20428216-FBC5-4DE2-9E57-AB1242F1F691","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b605f869b78070986b6d708923fa0aef06227fb","datavalue":{"value":"extensions of modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636298$B7C17B2E-4AC7-40DF-840D-9463B5CDCA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8ade5162d9fb4539001699f2af72f49a9542aa","datavalue":{"value":"fragments of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636298$0DF2F0E1-A336-40AA-B3A9-8D685478004D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27cf408f646a8788f6fb4f6850c9b332b3c3e92","datavalue":{"value":"Boolean modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636298$A9BEF6DE-0DD6-4A74-836B-EDE4847008AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636298$0EA92A71-CCF1-4512-8C1C-35AB0DF7EF0B","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":"Q4636298$6AF353DB-6A37-46D9-BB1B-FD9128EA7067","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42032f9745ace7a92b4dc862f9bd66ff8bf36262","datavalue":{"value":{"entity-type":"item","numeric-id":5278427,"id":"Q5278427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1881cd9be203d11a5abf369b3e41389d05665101","datavalue":{"value":{"amount":"+0.8498086929321289","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":"Q4636298$93D7DEB3-49C7-4D17-A783-CEE51084D35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ee759e574a6c7d52387968dc7301a690385469","datavalue":{"value":{"entity-type":"item","numeric-id":2922030,"id":"Q2922030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab76aa4fda5ca745f9c2fc4d0f8a17777c9347d","datavalue":{"value":{"amount":"+0.8019973635673523","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":"Q4636298$3617751B-E65F-47DC-96FA-3298EE949BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfe6238421e405dbeac640d3fceacfe44e535294","datavalue":{"value":{"entity-type":"item","numeric-id":5351985,"id":"Q5351985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32848f3d75dfac95b265a3b4156c0a840b107755","datavalue":{"value":{"amount":"+0.7984409332275391","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":"Q4636298$C0B5E72E-C42E-4ACD-8301-F2C395A166E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5c3db24506ffc6318870206026a901a8de8338","datavalue":{"value":{"entity-type":"item","numeric-id":2758067,"id":"Q2758067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d92770b92d9b28ce2aa7f3e58c86aefac5957f7b","datavalue":{"value":{"amount":"+0.7851051688194275","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":"Q4636298$E8579340-1FDA-4997-A739-8621145E6C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"056881fdf2e1f50ccdfb044af367edb09b506c18","datavalue":{"value":{"entity-type":"item","numeric-id":5111281,"id":"Q5111281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85e6247990bebef468ce5c61482d9df3136da355","datavalue":{"value":{"amount":"+0.7789451479911804","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":"Q4636298$D0D89A1A-9B38-4F2E-9D14-ABE19733C1AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636298","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636298"}}}}}