{"entities":{"Q3460540":{"pageid":5239940,"ns":120,"title":"Item:Q3460540","lastrevid":46563171,"modified":"2025-12-25T01:11:24Z","type":"item","id":"Q3460540","labels":{"en":{"language":"en","value":"Machines Reasoning About Machines: 2015"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527538"}},"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":"Q3460540$97CCC103-6DFC-49B2-9765-64B91F76E709","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"504b02e79711ba613aece9bad5de5d6cd46576fe","datavalue":{"value":{"text":"Machines Reasoning About Machines: 2015","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460540$D097D404-C850-421F-969C-91D3430F967C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"719ccc27e4e0c65ca6b8a1af87c17448d5f00617","datavalue":{"value":"1471.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460540$80D26CA7-4006-42C9-8421-6D1546A0488D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4e000ca0d714a6edbb74fc38eec21acb9ee26d2","datavalue":{"value":"10.1007/978-3-319-24953-7_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460540$0148FA2C-71FB-4492-8BFD-1C69F4410122","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0d384413a2d1b8185eb46b74e5b2c74244e0aac","datavalue":{"value":{"entity-type":"item","numeric-id":928667,"id":"Q928667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460540$148863DB-A8D3-4971-BF95-C8D854F39620","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460540$621E88D0-DABA-4748-B6AB-DEF52ADB57AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460540$2CDF26A0-1B28-4E4E-B1EC-0DD773E2EC21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460540$93ED93DD-DCD1-43A4-B675-8BECD540E6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460540$64500098-DD6D-43E6-BAD7-2D5EC032C940","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e449ab4db822c5d6b8800962cc9bb3337a2eb2f5","datavalue":{"value":"6527538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460540$42216AF2-B85E-40D5-B0F0-F86709073C5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67935c9745e86097c5a009e8bb47d5846729f37a","datavalue":{"value":"Boyer-Moore theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460540$3E7F6CDE-FBCB-4D9E-A8F5-D456BAC96195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b943b5b12bfa97c6b0ddab2ae0dadd8f5b7a1b0","datavalue":{"value":"annotated bibliography","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460540$63833335-91A3-4B66-9001-358AB21D9D58","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460540$4EED9430-DA54-44DA-9FDB-1758B62EC0B8","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":"Q3460540$ABCB3BD3-0751-4534-98AB-2E35C6D63F0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b92972b2f812dd6678eda7feeee4f62d7315a20","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24953-7_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460540$FFD7A25B-0D87-4C59-93B1-B84104DB04EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbd3eec068e04b9bbe32b63ea51a8148f2163387","datavalue":{"value":"W2245984367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460540$41424E72-A7B3-4418-855D-DAAC0BEBEC06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed53ef543eca9aa2b625cb55e884546ed92b207f","datavalue":{"value":{"entity-type":"item","numeric-id":3528040,"id":"Q3528040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77b81d9cc33a3bd6c1b5c3c30b196460a1cc06f1","datavalue":{"value":{"amount":"+0.83251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460540$00CED60A-58D6-4CE2-B036-E3803870C532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f505eba0057360ff6fbf4efa07caffda762c27db","datavalue":{"value":{"entity-type":"item","numeric-id":504394,"id":"Q504394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94fd2d4f079059c67760435199fa644be49f7231","datavalue":{"value":{"amount":"+0.81890905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460540$A6960469-90DB-4200-A51E-AFE7DD9B14DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0907300357551281b902542697f83529e38851e9","datavalue":{"value":{"entity-type":"item","numeric-id":4341820,"id":"Q4341820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8939309e74becc6dd7217d7a5fcb9896a41e532","datavalue":{"value":{"amount":"+0.81532824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460540$98D73DC9-169D-4B4E-9087-AE8B919CF42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f33f962011b99b9953c66e656d89508b2abe8fa","datavalue":{"value":{"entity-type":"item","numeric-id":4003525,"id":"Q4003525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e325a11d81a0ceb85f2e1406f6b00e9ee8feba00","datavalue":{"value":{"amount":"+0.81088996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460540$E7139DB7-E526-4FE3-93BD-A1E996F02889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8191d88f506d903aa6c98581a09091ba14753835","datavalue":{"value":{"entity-type":"item","numeric-id":5075267,"id":"Q5075267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4343f2bb7f55610801571a1a43204e29312d3600","datavalue":{"value":{"amount":"+0.80938506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460540$E07C0B4D-3A0D-4D42-9920-8714A929B02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08cb2e32bf90e9f091fdc9dde6c310394264cece","datavalue":{"value":{"entity-type":"item","numeric-id":6109285,"id":"Q6109285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43cd1de0a07f864e8f325273f86e4cbd4daeb77a","datavalue":{"value":{"amount":"+0.80929106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460540$E55EB2FE-D68C-46FD-82AE-0F9AB3A6A8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77229aad62351eaf3942d148080cf5957561f26c","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"342f8ab18c7361e9592a759742581243b4b647a5","datavalue":{"value":{"amount":"+0.8069358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460540$1F694B8F-DA67-4634-928A-813723C3286D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460540"}}}}}