{"entities":{"Q2367853":{"pageid":2378596,"ns":120,"title":"Item:Q2367853","lastrevid":46299099,"modified":"2025-12-24T12:44:52Z","type":"item","id":"Q2367853","labels":{"en":{"language":"en","value":"On the satisfiability of linear systems of equations for quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 269952"}},"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":"Q2367853$D670904B-24A9-4D60-BEEA-8EB8F177641B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c35a170504a3f49e3b94ecd28fad4c760d4299c7","datavalue":{"value":{"text":"On the satisfiability of linear systems of equations for quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2367853$8C5B2FCC-721A-4E5C-B2F6-E4AB73D0F829","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9518294d7c8bd54592a5387646280c2700d254c8","datavalue":{"value":"0782.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367853$57C34B59-A1AD-43C9-B99B-676A4D116D49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0422a33a0bdb6abfb1e0f0a29ba265c3016fa8ee","datavalue":{"value":{"entity-type":"item","numeric-id":543119,"id":"Q543119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367853$FF287CA2-1597-4608-AA49-4549EFAD1636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e73a5fc5157505c81b2beb4e3401b97c9d45091d","datavalue":{"value":{"entity-type":"item","numeric-id":685064,"id":"Q685064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367853$1A717BD1-42A5-44FF-A488-BE1829C4CE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8964b2746012a2b35cace1231eb5996d33e068d","datavalue":{"value":{"entity-type":"item","numeric-id":265758,"id":"Q265758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367853$5BA8B78E-A0B6-4A1D-85AE-69803EBA853A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"458fca2b56f2582953e7095ef1b99c53dd52a001","datavalue":{"value":{"entity-type":"item","numeric-id":547811,"id":"Q547811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367853$C7890D1B-6D70-4FCB-9687-2D576E6662BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ef701349e285a0eddba11a6b970bab77304d0ee","datavalue":{"value":{"time":"+1993-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2367853$67415719-3982-4D7C-B634-1C41A74C966E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367853$50F79DE7-E1E6-471C-AB67-97586C6B17AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367853$727217F2-BA90-4583-9C4F-65D350C80EFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcad07c4385f34f363c461e8675f3a8c923937ef","datavalue":{"value":"269952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367853$542073D0-BC39-42AB-89B9-502DA2EC3592","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a90278c6756a0715d37f82de08a7b14398d791a","datavalue":{"value":"mechanical theorem-proving on modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367853$2217E2D3-7C41-43D9-85BF-F5FA1F466FE6","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":"Q2367853$61DB19EA-9225-4338-9D56-71B295A77FC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c156de62cb8da5a0847d818adf2206d9290b0707","datavalue":{"value":{"entity-type":"item","numeric-id":1373648,"id":"Q1373648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4404a1edff8c11f9f49280edd2ca570ff7fbdeb","datavalue":{"value":{"amount":"+0.7592716217041016","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":"Q2367853$4B3C69C8-C4D4-4A58-A577-F805827F1D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a238fb315775556c0c9dffd8e1cf94038c1268c","datavalue":{"value":{"entity-type":"item","numeric-id":3801532,"id":"Q3801532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df2dd8bb0471a2930ef0c1d1a66fb5b938eb036b","datavalue":{"value":{"amount":"+0.7496122717857361","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":"Q2367853$73391CF9-352D-491C-80C6-2DE33EBF9204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081594d69e9e650b4f096681f589fc2ce3a3de94","datavalue":{"value":{"entity-type":"item","numeric-id":1977919,"id":"Q1977919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbcedbac9b608c055aa31de127a541afdbe111a6","datavalue":{"value":{"amount":"+0.7464066743850708","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":"Q2367853$A38EF469-693F-4E81-A5BA-21B8DA8E09C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc83c4c516d53f51d966d326af951ecf990e51ff","datavalue":{"value":{"entity-type":"item","numeric-id":5746001,"id":"Q5746001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15eec8eb945ac27e2c6bf0a15c6d35de427fe09d","datavalue":{"value":{"amount":"+0.7408968806266785","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":"Q2367853$8F26AF0F-0D03-450E-8A60-473785F26E06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2367853","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2367853"}}}}}