{"entities":{"Q5649990":{"pageid":7679550,"ns":120,"title":"Item:Q5649990","lastrevid":101564564,"modified":"2026-06-06T01:40:40Z","type":"item","id":"Q5649990","labels":{"en":{"language":"en","value":"Completeness of Linear Refutation for Theories with Equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3380161"}},"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":"Q5649990$78FAAC84-4B04-4CC0-B1D8-C928E3498E65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2e91a642871d94430712e8ae9b9c93b7ea4b751","datavalue":{"value":{"text":"Completeness of Linear Refutation for Theories with Equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5649990$138140F4-0C80-4472-8BEA-E7F7442248E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13da94e397af693fabac76cdb22d136cfea52557","datavalue":{"value":"0239.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5649990$39388DB5-D5B2-477F-88A2-A282B26A20BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f533cacdf62a521f3eb9cf2ef28eaa4e5bf1ff21","datavalue":{"value":"10.1145/321623.321636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5649990$77A3FF71-C1AC-49EE-BAED-DFA5FDA51C5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5649990$CFDF0C3E-93A3-435C-A11D-8CFA0EB6D52F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"652ad65ffdd573691be68fbfe67aa0cdf6812549","datavalue":{"value":{"time":"+1971-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5649990$629E487C-A1E9-4125-A7D9-8DFC7D20059C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5649990$499BC244-02D0-4E84-8169-9E69D3068E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5649990$A3F97676-DA55-4BCF-B213-868D36CD11C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09422d0fa1abcab4d4ba6cd32e8724e0f9a09383","datavalue":{"value":"3380161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5649990$D8A9BB17-9A93-49C5-A12A-494F3E9041E5","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":"Q5649990$33915CED-1679-42EF-80A4-DE1181C19F0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77ef792cf2be8c38ebd11638c750fdd307a4c167","datavalue":{"value":"https://doi.org/10.1145/321623.321636","type":"string"},"datatype":"url"},"type":"statement","id":"Q5649990$67D8635C-371A-4972-BCDB-DEED40BDE3F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ec32cdc6d0d678e5657301a8705e154d734db1c","datavalue":{"value":"W2015261794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5649990$6A70121A-751D-400D-BFA6-B3BE7E5E361E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of Linear Refutation for Theories with Equality","badges":[]}}}}}