{"entities":{"Q4013779":{"pageid":6043575,"ns":120,"title":"Item:Q4013779","lastrevid":47094235,"modified":"2025-12-31T15:54:18Z","type":"item","id":"Q4013779","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 67825"}},"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":"Q4013779$663B40E3-D29B-4852-9427-6C5CBC72A701","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc342b7e9ac73e8d17e6c9e6e310d61ee3c16479","datavalue":{"value":"0751.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013779$B1E77BA8-518B-465C-B54A-989749C7C9A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56e6e004da96d2a6349a9d22f29889cf13b7e987","datavalue":{"value":{"entity-type":"item","numeric-id":3787972,"id":"Q3787972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013779$2F7DB570-AB07-4E72-A3A6-5035A3B6B257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7965b744c3ad82b3b70060228ee3b54966579","datavalue":{"value":{"entity-type":"item","numeric-id":278740,"id":"Q278740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013779$869B56A6-AC04-4BCE-990C-8AA6FC7F20C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4013779$E67C0B82-BC4E-4DF7-A14B-7543E63AF64F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013779$72460F13-3E18-489D-91E2-F31E96C03B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013779$FF52BC45-62D1-4FA1-896B-0D1B0D8FC9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013779$90CE074B-CDC8-424A-8997-011BD697C4B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd5443cff68c87f68c60f8d4493fd8e736a98344","datavalue":{"value":"67825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013779$345EF6D8-FA23-4E3C-A669-8B97FF470C0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d00ab00543d2327e960cd784bfff27a55ac91aac","datavalue":{"value":"proof theories of second-order circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013779$7BBE8398-B07C-4E5B-8485-404C37B31CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3726ad6814c6323911c81a2fead64defa191d7ed","datavalue":{"value":"decision procedures for complete query answering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013779$C3642ADE-A08D-4942-9485-6BFE98A3159B","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":"Q4013779$59865B9B-CAA9-4AC9-9325-414DE3BBEEE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae7e756f0e4d30e0e0cfecdaa9b60924197ed55b","datavalue":{"value":{"entity-type":"item","numeric-id":3838809,"id":"Q3838809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3f72dc530c12c7a09f56f6e02dd82b8b464ff63","datavalue":{"value":{"amount":"+0.743608832359314","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":"Q4013779$8EC25DFE-BBD3-48C1-A49D-0362392AB22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccaf7d5b4da7f31fc4678a7003286fac725c6189","datavalue":{"value":{"entity-type":"item","numeric-id":4275263,"id":"Q4275263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84ecabf453d91ac6c4c55f3f6204888cc50c1e7b","datavalue":{"value":{"amount":"+0.7436087727546692","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":"Q4013779$ACFC1B18-B56D-4588-B8B3-394CDFB5C097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c8052d035c8e4728bae6a6352f5c139bf48fcd","datavalue":{"value":{"entity-type":"item","numeric-id":579240,"id":"Q579240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdccfc6a4d19a304c8b00e03b0fced0f4b4067f9","datavalue":{"value":{"amount":"+0.7367873191833496","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":"Q4013779$31337165-10C5-43F5-BE05-E1E554C7ADC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9592a72ac2b165ba1ce86973f8be9425b6b99e2a","datavalue":{"value":{"entity-type":"item","numeric-id":1274695,"id":"Q1274695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb43fd256bad56adb63f10529b8b4a9c7e4cb61","datavalue":{"value":{"amount":"+0.7280080318450928","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":"Q4013779$46C3C91A-3B71-43DC-8CA1-D7EF9721FA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ddb495c0135388eea8434152bc934e19059ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4323729,"id":"Q4323729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be84301cf631931d1fe1b91d17b252406eb5587f","datavalue":{"value":{"amount":"+0.7272012233734131","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":"Q4013779$D48263E0-2AC1-486F-8A4B-8A54A95F6825","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4013779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4013779"}}}}}