{"entities":{"Q1799066":{"pageid":1809808,"ns":120,"title":"Item:Q1799066","lastrevid":68987058,"modified":"2026-04-13T03:33:26Z","type":"item","id":"Q1799066","labels":{"en":{"language":"en","value":"Automated reasoning about key sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958091"}},"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":"Q1799066$DBC6035D-E565-46CA-8B5B-DA6B68C31718","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea1498436ea5ef6c8cb332cb9984045dcd772c58","datavalue":{"value":{"text":"Automated reasoning about key sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799066$A8E13C99-594B-4D47-935A-7E0944CAA0E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f8c2e6440402a3373c4c5be7b9dea1223c29b76","datavalue":{"value":"10.1007/978-3-319-94205-6_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799066$BE63025A-8EBC-4462-9A52-523F98A4018C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9268bd0662723881aeb01450a336c942a22b3e8","datavalue":{"value":{"entity-type":"item","numeric-id":269504,"id":"Q269504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799066$AB3E3EDF-D159-4C58-B78A-53154D6E2D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c623ff141e6601023cff4c2caebe41cfd442b463","datavalue":{"value":{"entity-type":"item","numeric-id":269506,"id":"Q269506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799066$E7454F2B-E55B-448A-8EAD-25A5D136FF6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799066$713059AE-851C-4A70-846B-26FEABA78051","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799066$E6B61243-33A9-4114-BCF0-5A4D6FCFA6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799066$8D0BA904-277D-4B12-829C-2A004A9E43D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7341497f3a3a3c424b9e60d95a21a3ffb4c50b96","datavalue":{"value":"6958091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799066$D5238534-4D15-4197-8F41-50A61DD27FF2","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":"Q1799066$44A3784E-3D6F-4B8A-99D9-3972317D747B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01a0ac68168bd5c126c594d0652468c4250fdbc9","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94205-6_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799066$929601BA-B9A5-45F0-96A7-A518F511D24A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd2ec8fa0fbff2e260d6f47c7452c7aaa1341465","datavalue":{"value":"W2811226145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799066$6592B07D-4602-4F7F-8759-C83B09B4718E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d0a180ca6470a088113361b140f2b39a821828","datavalue":{"value":{"entity-type":"item","numeric-id":269507,"id":"Q269507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee6f67a44f26fbe5d573c7c2a2ad440d8463a98","datavalue":{"value":{"amount":"+0.7581793665885925","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":"Q1799066$C3D87367-B7D8-4DC2-95FD-EFD419B23349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"003ea87d4f77a9c0a1721f9801b34d2e5aa67a77","datavalue":{"value":{"entity-type":"item","numeric-id":2329094,"id":"Q2329094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf53f1e9971a2f5b27acc7dd88bf732ceec8128f","datavalue":{"value":{"amount":"+0.747218668460846","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":"Q1799066$2997A9A1-A6E2-4930-BE2F-0658231AA2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"398e8beac6b075c1fd5d35b0303bb197caf22cde","datavalue":{"value":{"entity-type":"item","numeric-id":3779791,"id":"Q3779791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0686bfc4855b67c80b14ab0d4c43283c3726c81e","datavalue":{"value":{"amount":"+0.7386305332183838","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":"Q1799066$C282DEDB-6104-434D-B502-5B9E12158C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f47d4605dbc250839b5f99ac47cff560b6ced2","datavalue":{"value":{"entity-type":"item","numeric-id":3796815,"id":"Q3796815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed439480fb0b937d6360ad08ec15f34487d24c7c","datavalue":{"value":{"amount":"+0.7380784749984741","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":"Q1799066$300EDF2D-D955-4FEA-BA61-3CC2216EF5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffab16821c7e1f1141ee7d7049834d420c9969bb","datavalue":{"value":{"entity-type":"item","numeric-id":3690263,"id":"Q3690263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b77c31b46b8e54b2386a14048c75acdcfe12f952","datavalue":{"value":{"amount":"+0.7351025938987732","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":"Q1799066$D0E2C185-69A5-4F07-ADE7-5D736503D81F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated reasoning about key sets","badges":[]}}}}}