{"entities":{"Q4928435":{"pageid":6958017,"ns":120,"title":"Item:Q4928435","lastrevid":51744704,"modified":"2026-01-19T19:37:22Z","type":"item","id":"Q4928435","labels":{"en":{"language":"en","value":"Automated reasoning, fast and slow"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176206"}},"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":"Q4928435$1C51A432-7B19-4897-9D3A-7AEAC1DBB7DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77b8ee1c06d83fc91043d0f33afa201b72804b3a","datavalue":{"value":{"text":"Automated Reasoning, Fast and Slow","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928435$2449CBF6-81D3-4D54-8451-8A373CCA94CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6871a3c7c141da50fc6c01996a6e644dcbf21c0b","datavalue":{"value":"1381.68276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928435$E713B0EC-2999-4E30-872B-EDF497992354","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61bc0750fd2005f2397c5b824017e8328237921b","datavalue":{"value":"10.1007/978-3-642-38574-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928435$2BA926C4-ED5F-46DA-BC58-7AEA27DA08DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f977cc4afe30a7452131df7ff084411daffbbaa","datavalue":{"value":{"entity-type":"item","numeric-id":532428,"id":"Q532428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928435$4837C1C2-48BE-4880-915F-11C09DE355DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"feba868a8cb9ecfadec66d8e8a91d447de952529","datavalue":{"value":{"entity-type":"item","numeric-id":4928424,"id":"Q4928424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928435$0D8A1DC7-7642-4589-AFD3-87C839D90789","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928435$28122862-D3F1-4DC7-992C-D1877B6A4408","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928435$4932BA7E-89E4-41FA-8B5F-EF91ECE95649","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9e642a1f63ebfcfd8e3190dd363638c55541e83","datavalue":{"value":"6176206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928435$132E7A63-EE2D-42A9-958F-147FE93BB723","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":"Q4928435$97F08C01-5794-45E8-92A3-92ED4733EAC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fdd31acb6a83d6218dbd2c4ba33422da105f8cd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38574-2_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928435$A8EA2624-484A-49F0-B406-7982FF0CAA66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a77e877c9ffb0e1000a41387f3d61c910a821092","datavalue":{"value":"W197752283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928435$F78C0A67-AA19-4CAF-BA27-177A7BF4CE51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b88201c874029cc76bad76bfbcb9a0c13e14fe23","datavalue":{"value":{"entity-type":"item","numeric-id":4557744,"id":"Q4557744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"193b710e22f09ba6d4dac597cfe3ee8baf0419fb","datavalue":{"value":{"amount":"+0.6989469528198242","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":"Q4928435$CEAB0EDB-B21D-44D3-A725-94A979352630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5d82368d430deb494114117fe7345e5f0f96434","datavalue":{"value":{"entity-type":"item","numeric-id":6485454,"id":"Q6485454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b487953626de429d90f6d1e874be1324dde0dd","datavalue":{"value":{"amount":"+0.6701861023902893","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":"Q4928435$CA173B95-B982-4461-BC5D-9132B69F1E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0ef630f727ad7b2f6a55abbcde1f0a3f0da3628","datavalue":{"value":{"entity-type":"item","numeric-id":3423156,"id":"Q3423156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce10642a372ba0e78fa25245794f5dda2c790bd6","datavalue":{"value":{"amount":"+0.6595999598503113","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":"Q4928435$3CA2272C-E72B-49A3-859C-EBD8151EBD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9e2bd0eec3882021b63ea7eaece049b98b46e9","datavalue":{"value":{"entity-type":"item","numeric-id":1070835,"id":"Q1070835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac7b921523431a5089d18af63dcf75fb15ad8bf","datavalue":{"value":{"amount":"+0.6580156087875366","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":"Q4928435$DB9785D4-CB30-46E3-9F7D-EE05CC30587C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ff67d31d0ef350e84d3f721ef5b69fa27ee6d7","datavalue":{"value":{"entity-type":"item","numeric-id":3454081,"id":"Q3454081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66c1665f6427fa96b5eba8bdbd4491a2318eeb10","datavalue":{"value":{"amount":"+0.656818151473999","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":"Q4928435$EAA5BFF3-8FD7-4C5C-A244-F27684167C0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928435"}}}}}