{"entities":{"Q4928477":{"pageid":6958059,"ns":120,"title":"Item:Q4928477","lastrevid":51744827,"modified":"2026-01-19T19:38:29Z","type":"item","id":"Q4928477","labels":{"en":{"language":"en","value":"A short tutorial on order-invariant first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176246"}},"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":"Q4928477$9BB14CBD-ADAB-4C68-806F-C9D188297112","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc2443253e86e697b6e0997495756bc8e6f15126","datavalue":{"value":{"text":"A Short Tutorial on Order-Invariant First-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928477$E551E84C-5062-44ED-83C5-9CAB4DA68D5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"348e90fed1d5be22ce65c6392eef75c1300d4a47","datavalue":{"value":"1381.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928477$B6CB5327-9D17-429F-9EE3-98B0ADDDA8C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fb18d3c99d977d75f9ca8792c0ea6682e7d093f","datavalue":{"value":"10.1007/978-3-642-38536-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928477$0009B5D7-AAF1-457F-97FF-3436A2C4C265","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde056a0f6fc0570a0a106ebb1024eb76bcb30c9","datavalue":{"value":{"entity-type":"item","numeric-id":389233,"id":"Q389233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928477$30100C22-5EB7-46F5-9660-A827EE1FCE53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41df48044034ceb6ef08b66017467a62c3d265aa","datavalue":{"value":{"entity-type":"item","numeric-id":2907481,"id":"Q2907481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928477$D296AFDD-152E-4D09-9835-F2658570E092","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928477$8DA8ACA6-B90A-41B6-B14B-01DD44C421AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928477$0C42BC86-7068-4504-941B-3953B0FA2D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928477$C2094AEA-B368-451C-B36C-5B7C19F7DC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928477$44C6BD1B-154B-4E5B-AE6F-3C5F8BFF10B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928477$59C3BAAA-952C-47C9-BD08-1BB6485831F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d167fde41580dc9e2b6405f9769041746df6d0e1","datavalue":{"value":"6176246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928477$2BA9ACFD-592E-4BD8-B704-ABA6F0DE3D66","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":"Q4928477$598A245E-1B51-4949-A12A-02682BC3FAC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d3c9a920b43f18bb6799bd7d28ab12fd6a6df0e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38536-0_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928477$648283DD-1733-41A5-84D7-E664043E265B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8cb8b4632a5b173449435741023c8345128155a1","datavalue":{"value":"W125116438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928477$7645FECA-A774-44F7-9B93-40CEE8ECBA11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80f598a34e40a9bc9c8608b3cf8f55ae27a5456e","datavalue":{"value":{"entity-type":"item","numeric-id":2915019,"id":"Q2915019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"666415a33458d8d5ac76e117315f02fd6868f7cd","datavalue":{"value":{"amount":"+0.8111318945884705","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":"Q4928477$C999B41D-E6F9-4B15-9F48-0C2E057A46FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f576b40445ded05683aed6256e5371a4f0d961","datavalue":{"value":{"entity-type":"item","numeric-id":5394583,"id":"Q5394583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab0c0d3e375d8e20ebbc7f401d83f6ee2b50d8d","datavalue":{"value":{"amount":"+0.7858460545539856","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":"Q4928477$AD2B3853-66C1-4BC9-A670-60B9631E9E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde80fd0ae24fa27df9f918432586f1164b3afc4","datavalue":{"value":{"entity-type":"item","numeric-id":3616348,"id":"Q3616348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4feb80df485567e9143b1f6d2e24ddc5cbf8bdcb","datavalue":{"value":{"amount":"+0.7856353521347046","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":"Q4928477$400A2B3D-13CA-408B-B34A-419B70630C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0533e66645b81c6da967d667fa77a5c20e27b38","datavalue":{"value":{"entity-type":"item","numeric-id":2922020,"id":"Q2922020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"019a095bcda3a47e71b3827147f6b51d022f9214","datavalue":{"value":{"amount":"+0.7739227414131165","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":"Q4928477$C8B8D913-C9C9-4F62-B6C0-1CD6E39DEBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6e031dbd169296e71eb662b205876acd6985416","datavalue":{"value":{"entity-type":"item","numeric-id":1853505,"id":"Q1853505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b7ed924d510737134bc08dd92e07060c7d5a6a","datavalue":{"value":{"amount":"+0.7620897889137268","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":"Q4928477$1D37A07A-FE26-4762-B30A-6E8AAE044A7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928477"}}}}}