{"entities":{"Q3010358":{"pageid":3021082,"ns":120,"title":"Item:Q3010358","lastrevid":51283838,"modified":"2026-01-17T14:35:31Z","type":"item","id":"Q3010358","labels":{"en":{"language":"en","value":"Schemata of SMT-problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5916702"}},"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":"Q3010358$A7D64BB5-5AD3-4474-91F4-371E3DF163DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e8827e294417c4c1a6540631ba78c98a54480ae","datavalue":{"value":{"text":"Schemata of SMT-Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3010358$6D364E8F-B01A-440D-BAB0-55C419655637","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99de54cb38b4e524379ff0c3f696921a97e82a66","datavalue":{"value":"1333.03103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010358$AA0BEB3D-F32E-421B-BC9E-C9717011220B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ad8628c42b8a5c4fd33e65cca5be0cbbf92ddfc","datavalue":{"value":"10.1007/978-3-642-22119-4_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010358$27B21171-5DFF-44E9-9C9A-40AA00177B94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87b58753525834b22585058db2818f43049ca5ee","datavalue":{"value":{"entity-type":"item","numeric-id":475382,"id":"Q475382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010358$AA58B59A-9032-4893-B9A5-326D73603FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010358$D26E4712-E4F5-4F20-A110-4C8DFD350E55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010358$837B6733-6C18-46E7-B805-660FD06BDDB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd5c974ae982856259c10daa0aea2556c9e24f8d","datavalue":{"value":{"time":"+2011-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3010358$2BF2E3C4-C4C9-43AA-BEA7-D3D2F9B560D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010358$94A7F36B-4041-43A3-A06C-A0BF9A9C33C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010358$1F50DFDD-1C0C-4FE7-8948-A8FDFF2CAD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010358$28834A8B-2DA2-41E7-84A1-E9B4AD79D309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010358$F093D300-BA06-48DB-9595-A93C3CEF854C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15c0e3e2f4d6e4ce26c2cbcab04c2d13262eccc1","datavalue":{"value":"5916702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010358$0432BFED-9914-4F0C-9B47-309390F0F722","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010358$F7946EB5-2043-41B2-BC38-4716D8EC7656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010358$64EC721F-FB02-4C86-86C2-6F7CFA2BD476","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":"Q3010358$7EFCEC71-7319-4145-A5B5-3E4E0E8ED238","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c68829ee6797a81e5003274a00b5dd81687638f0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22119-4_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3010358$CEED5C1E-A5A1-4896-A8F3-2197226A73C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d61b73389a0f70589464284fdff0e9ab524e1f95","datavalue":{"value":"W64610251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010358$8DF99659-F154-4DBE-A9A2-882511AEDC9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd97d5574734beacbd221099c7f1c09ad5f19f6","datavalue":{"value":{"entity-type":"item","numeric-id":3648719,"id":"Q3648719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010358$B93BFE1A-30FE-4100-961A-AAE65025E565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b361894c6b71fde79250011881cbf350423ee13","datavalue":{"value":{"entity-type":"item","numeric-id":2996912,"id":"Q2996912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010358$FC19F700-DFC5-4902-883D-2E714025F1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010358$5BC75607-2188-467B-A096-58B28299EAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4f714dbb33bba32b50777c1d77c1cb7ff5fe56","datavalue":{"value":{"entity-type":"item","numeric-id":3608773,"id":"Q3608773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010358$ADC34EB8-09C1-4021-837D-DC590877A50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010358$C774066D-43C8-4F61-B250-8C95C0F41902","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe17c855d4117ddab26111917a10e36dd79afdf","datavalue":{"value":{"entity-type":"item","numeric-id":2907331,"id":"Q2907331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8578723d0f5fc0750a6e37e14ce20c8fa33daeb5","datavalue":{"value":{"amount":"+0.8451350331306458","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":"Q3010358$12ED77BB-DA58-4EB1-BC07-6509894A6872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ca811bd079d4bfe6c8aae75f90cf6eba538d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3564849,"id":"Q3564849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7f53a2658d0e0c6a13625f62e26936387a04d8","datavalue":{"value":{"amount":"+0.842582106590271","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":"Q3010358$211AE35A-0294-4B8D-9334-4C260E2CBB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5189c1123acddeb4d0da53271b5bc5c74279d56b","datavalue":{"value":{"entity-type":"item","numeric-id":5747768,"id":"Q5747768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a9a459fdb8a3deaaf8261f922d8cea57948eb4","datavalue":{"value":{"amount":"+0.8393660187721252","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":"Q3010358$B990E24C-ABA6-41BC-9E95-2535E3AC71E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c6a7e04cb372ed23e9c84a4356966153fb1d53","datavalue":{"value":{"entity-type":"item","numeric-id":2996912,"id":"Q2996912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d4ba327d392e1c6765b86dabb0951736ac9704","datavalue":{"value":{"amount":"+0.8371143341064453","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":"Q3010358$15A83CCB-2E97-4679-9C4B-F8F5FDAEAFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eced778ca8a133c24e6193a3a92105e82ee2858b","datavalue":{"value":{"entity-type":"item","numeric-id":3648719,"id":"Q3648719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf66f002cfa63029b1d9332efdd2d2f827710f4c","datavalue":{"value":{"amount":"+0.8176809549331665","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":"Q3010358$AC629163-78F1-444F-807C-DFEF5EFB4C84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3010358","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3010358"}}}}}