{"entities":{"Q2804477":{"pageid":2815215,"ns":120,"title":"Item:Q2804477","lastrevid":52519406,"modified":"2026-01-22T20:58:24Z","type":"item","id":"Q2804477","labels":{"en":{"language":"en","value":"The relevant fragment of first order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6575409"}},"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":"Q2804477$072D2A0C-953D-4610-9B8E-72299243EA77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05479633d72c9a432da54ec0964e279be67ada49","datavalue":{"value":"1453.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804477$4414689F-896D-4A93-A003-EBD1A8EC3FC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0bb180cb625e7f403238e40b7a01f29461a6a49","datavalue":{"value":"10.1017/S1755020315000313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804477$6126876B-FB64-4907-A91D-CCED44A74089","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42b1041ba8f5005efa707f8a2eaa62c8625af6c2","datavalue":{"value":{"entity-type":"item","numeric-id":332083,"id":"Q332083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804477$88219E70-DDF2-44DF-A68B-0C9E5F647C7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804477$C5EE56FD-EDB6-4E5E-A0F5-A7B639AE3F47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c64d6bdd320829ec442feaf78067f68056a43a6","datavalue":{"value":{"time":"+2016-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804477$7F9F6176-8A52-4CB3-A46A-FFAF8C29E54C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804477$E92EF64E-A354-40EB-A4B9-46F20FCA9C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804477$D203D39B-BC40-4C5B-AB49-67515252FF11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e23e7e876a3a6e5866d47930d92b652edffcab66","datavalue":{"value":"6575409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804477$F50208B9-0999-4580-9796-1864F2ED8B0C","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":"Q2804477$FF8849D5-772D-41EC-A690-7A2945AEB226","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1d131696c1fb0cdbb926fabc81f98456d70f87","datavalue":{"value":{"entity-type":"item","numeric-id":965858,"id":"Q965858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804477$1D4E3529-281A-4A0E-AE6E-BBF014A550D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97da8496b28db85496ac2d8dd8ba5af704460112","datavalue":{"value":{"entity-type":"item","numeric-id":4928778,"id":"Q4928778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804477$82F0F7B1-F286-42A3-B763-DB6D4D58185F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ef394e28aa1bd896ff1cf6888aeb4d5c134767","datavalue":{"value":{"entity-type":"item","numeric-id":692184,"id":"Q692184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804477$BC70C83F-663E-43E2-BC35-2747BA056FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff97b5905f9f8fe2d32fb298c486dc41fca74499","datavalue":{"value":{"entity-type":"item","numeric-id":4779126,"id":"Q4779126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804477$D7F35A40-DD82-4587-8DDD-09A959D7917B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bdd78b9ebbe4489db68c54b3f505ecbdd2e7190","datavalue":{"value":{"entity-type":"item","numeric-id":703304,"id":"Q703304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804477$FF91DD1F-B397-45C4-AD6B-E34B2141DC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97378a9da43870e4a735d29fada9868a4f38f98e","datavalue":{"value":{"entity-type":"item","numeric-id":4351799,"id":"Q4351799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804477$B7EE1361-24A7-486C-B9C4-CF6BD1DFEB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36a616058f9c19ea3560225b8583ea5dd9baf29","datavalue":{"value":{"entity-type":"item","numeric-id":5477628,"id":"Q5477628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804477$46922DB0-0D92-47A0-8E32-1AC0686EFD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804477$A2148A72-F3E8-4B73-8F5F-E9715915080C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a827aecaa592e83e6ceb429c7869094b4ab2de83","datavalue":{"value":{"entity-type":"item","numeric-id":1293022,"id":"Q1293022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804477$01436BE3-43A2-4FD0-90C8-184E82BAF7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72c0afb2ca6e03713a5d6aa1e83e85ca9638f6da","datavalue":{"value":{"entity-type":"item","numeric-id":1165845,"id":"Q1165845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804477$849772B1-98EF-4FB6-89DE-AD273B3AC50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda3f908e35865c4db560c3dc5ac0c7e4b363b62","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804477$C50FEFF8-2384-43D2-983E-748E65465B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cacafd41474762f09b97108022af3fb20749d0be","datavalue":{"value":{"entity-type":"item","numeric-id":452358,"id":"Q452358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804477$6CC0F8C2-6558-4C79-AC21-2F96C2063C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804477$7B35709F-C187-4DFF-BA14-37551DF17B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c276b98f7c86e9d5b81785d1000b2a626a58829","datavalue":{"value":{"entity-type":"item","numeric-id":3550706,"id":"Q3550706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804477$7CF06F5B-671E-43A8-9D74-BD263F2EF06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79d491ac7bcf8dbf737ca5a36b6904ebf92992c","datavalue":{"value":{"entity-type":"item","numeric-id":689076,"id":"Q689076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804477$3E14E5C1-2926-4A30-9279-506A7C0E5A15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d164ee9ee1bcb59afced2290dfb65b4a4dcac753","datavalue":{"value":{"text":"The relevant fragment of first order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804477$92903E91-0D50-4D9B-9165-B7D3777414CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e00b9bce770f679259bdd227ff28e1ffe1a1f427","datavalue":{"value":{"entity-type":"item","numeric-id":4600823,"id":"Q4600823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a305e6afcce89710c32ebcd3a0cd28530816e4d0","datavalue":{"value":{"amount":"+0.7559406757354736","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":"Q2804477$5A9CF366-AB62-4D73-B6DD-B119C773464F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"befe04b0dc2b86dcd982e359f4a1e2db05e65f6c","datavalue":{"value":{"entity-type":"item","numeric-id":5235069,"id":"Q5235069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a288e2ec6c7c17d647ea1b6dd84ef3e31552077b","datavalue":{"value":{"amount":"+0.7331140041351318","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":"Q2804477$25078088-39B5-4ECA-AD8C-A237C035D8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a63968deeeaa332f19b3aecc0e10afe0c3153c9","datavalue":{"value":{"entity-type":"item","numeric-id":5435201,"id":"Q5435201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8663f8265b2995a574512da322e1cdfaf8e81cc0","datavalue":{"value":{"amount":"+0.7286304235458374","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":"Q2804477$F9B88411-6B9B-49F7-ABB3-689C204597E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9118e70e79b00db6520cc85e4bac3fe24f66994e","datavalue":{"value":{"entity-type":"item","numeric-id":1670491,"id":"Q1670491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05047e4d82bf29a98098f73611261482babeafbe","datavalue":{"value":{"amount":"+0.7251687049865723","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":"Q2804477$155685D9-42CF-4689-B791-0012273780F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14831d2027db8a13d78a2961dc6bb1f3a733e9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24085a75d1a7f99fc3c3f6d081ccb68842027eb1","datavalue":{"value":{"amount":"+0.7239254713058472","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":"Q2804477$AF686F52-2E41-408C-8641-A68FE318A2F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804477"}}}}}