{"entities":{"Q3604000":{"pageid":5633906,"ns":120,"title":"Item:Q3604000","lastrevid":49671634,"modified":"2026-01-08T22:18:26Z","type":"item","id":"Q3604000","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5510691"}},"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":"Q3604000$DE4BBB64-1906-4723-83A1-4A3FF9688387","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7667bfe0d177e269bda9d233dbe03fec82a8cb6","datavalue":{"value":"1159.68403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604000$48B6A7ED-B129-4B9B-9633-49B20310EB91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604000$F8B1BD76-61C4-4F0E-B8E3-027BF01BCB3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e18d4fd78a311e2c3bebfb4c4076a76532be8395","datavalue":{"value":{"time":"+2009-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3604000$132737A3-D4C6-4054-BC08-C9E93AEA37F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604000$1E221C31-93E1-4ABF-95AE-9FE265DE3403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604000$B5A69E7F-79B3-4A87-9DDB-CCF78009C96E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4c54a0ca6edf015c7cbc409bb85da4f3c47183f","datavalue":{"value":"5510691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604000$414B4B0E-9ADB-4323-BA09-E20312650774","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20ec78b25008456461de6c905d2d26525e47090c","datavalue":{"value":"SAT solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q3604000$01EC94E7-8324-4530-A3AA-9835F52FB862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9677bc841d5ec499c33ea564572870b1dbd8f0bf","datavalue":{"value":"watched literals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3604000$8C7B76B8-09E4-4AF9-AB0F-061E7590C5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb9508bedc9c54999a25da4d0b12172939e3f61","datavalue":{"value":"occurrence lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q3604000$55B98A86-38CC-45FD-B9A3-481610967E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07d882058daf47bae7cc72281c8ed56a0e97417e","datavalue":{"value":"proof traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3604000$160712E9-3EEE-44AF-91F6-6677BDB91C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2559f6dba1a22b1ab5938503d838caf35e650c7","datavalue":{"value":"restarts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3604000$09FFE138-B2F1-467D-A8BF-F77401C10820","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604000$C4D4E3EF-7EDB-4F05-BCE6-327D96B02B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d650a7af9fdbfa854d490255d18c32cbaf84928c","datavalue":{"value":{"entity-type":"item","numeric-id":16925,"id":"Q16925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604000$54DFADAB-6554-48A0-8789-B57CA4E66FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f746181d867351d09668116ee8252aee76943077","datavalue":{"value":{"entity-type":"item","numeric-id":18994,"id":"Q18994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604000$33FF7939-A81E-47EC-A631-4FE76BBEA463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc913e0e8afa2a727cce06bc306808aa43cd2398","datavalue":{"value":{"entity-type":"item","numeric-id":25035,"id":"Q25035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604000$6CF282D7-F08A-49F7-A5C3-FFB92EF08CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cb8a1c7c11aacf79d69617dce3c80e762b5d2761","datavalue":{"value":{"entity-type":"item","numeric-id":41081,"id":"Q41081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604000$893533D9-D3C9-476F-A939-8E631D6FDF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"54facb50706f9d0f3d872eb476b711c3e0de8c35","datavalue":{"value":{"entity-type":"item","numeric-id":41082,"id":"Q41082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604000$41F28D50-BAE8-460B-BD6C-8539E4698599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604000$97B6141B-CC06-4944-919E-7F3550555958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604000$CDFB291C-9C70-4AB3-AB26-3FF41D77A2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604000$AADDB1C1-E918-4CC1-A275-E3DC03D9BA24","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":"Q3604000$ED397CB5-D5C4-48E0-8113-ADEE42CD2571","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4fe2f181a90b4366edefd4a9d1ea78e4d1726fc","datavalue":{"value":{"entity-type":"item","numeric-id":3749138,"id":"Q3749138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea624d771af5eec135c2157c818782e00f0e564","datavalue":{"value":{"amount":"+0.72407305","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":"Q3604000$B4F11F5B-FF68-496E-8429-4F024ED1C4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1bff0b7a871d46df14d124562b6d13f756c61b","datavalue":{"value":{"entity-type":"item","numeric-id":775784,"id":"Q775784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00312ac7c5f371e69946f87f50ac48c6f531b3a7","datavalue":{"value":{"amount":"+0.7231956","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":"Q3604000$BC7F3E14-E250-47BC-A46F-5146B75B0F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2a4033fee1ac8bbf8843dc3a306eaf717420e31","datavalue":{"value":{"entity-type":"item","numeric-id":4104039,"id":"Q4104039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b177749e0d4d316248c0287954dddd0afee4e9","datavalue":{"value":{"amount":"+0.7171368","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":"Q3604000$A3A62E89-9997-44CE-BD46-8E03FD1218EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64831ebe96cca09331c01d5925601938c155a60b","datavalue":{"value":{"entity-type":"item","numeric-id":4041750,"id":"Q4041750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e456d4157850ec030d562d4eeadde4808596fdd","datavalue":{"value":{"amount":"+0.7047309","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":"Q3604000$686CEBA8-1D70-4EE5-B5CA-3652282B2BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b74085cf0bb70b2198c315e0d83b9704035c90","datavalue":{"value":{"entity-type":"item","numeric-id":4344112,"id":"Q4344112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b4ab96bb091fed6b3b08d83ae44886a779e115","datavalue":{"value":{"amount":"+0.70273566","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":"Q3604000$51699CF2-45B5-4745-AB73-68BD1855AB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f2d5a432e4e2b4a3ce3395bab29081b9fc6a96","datavalue":{"value":{"entity-type":"item","numeric-id":2937659,"id":"Q2937659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a036e4441d291c96df32d5a45333c43eb5c03717","datavalue":{"value":{"amount":"+0.6900697","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":"Q3604000$1E31514F-7F83-4DB6-8FA2-73B6F4BFD67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f15f4b6a73ab0ae7e2496d2444052bc2c05f3573","datavalue":{"value":{"entity-type":"item","numeric-id":5962328,"id":"Q5962328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f025f9cb8fc2deaebb5cc7dc22a413db474daa45","datavalue":{"value":{"amount":"+0.6854027","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":"Q3604000$BCDE7D1D-C549-4615-ACD0-6836FE6269A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3604000","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3604000"}}}}}