{"entities":{"Q3725520":{"pageid":5755426,"ns":120,"title":"Item:Q3725520","lastrevid":50761586,"modified":"2026-01-15T02:09:02Z","type":"item","id":"Q3725520","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3956408"}},"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":"Q3725520$557244DE-1291-4121-8205-46D974DF78B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36ca76021758f68d756401cfbf69761030650a99","datavalue":{"value":"0594.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725520$42DF2CCD-E728-4858-A83E-2FF279CE3494","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f468c70d224827fefee70639fa02168462f5456e","datavalue":{"value":{"entity-type":"item","numeric-id":915478,"id":"Q915478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3725520$D856C9FD-5A20-4707-A33C-CEFF9C108285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a32b8a393a965407422b1e26ed1865f6e692ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1075754,"id":"Q1075754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3725520$A8933380-32F9-45C2-A4BD-01067AD2EECD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3725520$1FB832B9-03CB-48B0-A48C-FC34E3345C29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725520$4F7A9900-8106-4E61-9C69-26B7A2C4D8E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af6a4062ccc51ba3a8a9de640f96c51fbb44e03c","datavalue":{"value":"3956408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725520$B29D2D35-B2EA-4E14-8082-E9DA3819A274","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725520$1CD2C02D-41C8-4EAC-A2DB-65EE7DE8C46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725520$2E5CC3BF-6EAA-4A86-9FF3-1512E99046E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd5f68c909b32d15246ca3700d59872a7aa7bdc","datavalue":{"value":"Prolog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725520$18E6103C-26C8-4233-9B19-0798CBC5ADF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a480e8e89cd659bf01ba73930c00daf05d94363","datavalue":{"value":"Prolog interpreter","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725520$AC9990EA-CE53-4322-8410-16E282B54B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"824816591980c92347d4be5b871dbccdf5b6a1ed","datavalue":{"value":"Boyer and Moore theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725520$57BFF050-0ABA-4607-8BD5-3BBF3E986CA8","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":"Q3725520$433F32C5-F49A-4504-A953-27534A670E4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24b1275386c1628d6c6b6f5d92448a1cbd9543a8","datavalue":{"value":{"entity-type":"item","numeric-id":3805881,"id":"Q3805881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e523f9a81de198b6a4087b1f899a0f9afdc21de","datavalue":{"value":{"amount":"+0.8521202206611633","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":"Q3725520$49EB762C-517E-44A1-B68A-E66E39283840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173ea42de9c3d1d7a700bda05f56631e4abbf156","datavalue":{"value":{"entity-type":"item","numeric-id":4873987,"id":"Q4873987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c37defe78311259d83e2180e88602624c4d3de09","datavalue":{"value":{"amount":"+0.8498949408531189","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":"Q3725520$1353E5E4-23C3-4717-9A6C-22579A083FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ed9ef38619504fc72a0bdb64ce00eb6bea3a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4700388,"id":"Q4700388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b119966308850f84a609e54d5f4defce560501e6","datavalue":{"value":{"amount":"+0.8081757426261902","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":"Q3725520$D28A5584-7585-4EFB-88CB-1195FA64F99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e7168a241473f35e7bdd3bb270aebcc0ad7989e","datavalue":{"value":{"entity-type":"item","numeric-id":1308986,"id":"Q1308986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"685b0b636372e1678402e220d121ba9309eb73bf","datavalue":{"value":{"amount":"+0.7853804230690002","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":"Q3725520$32F1C27D-E44E-4F0B-9FDF-6B870C6C01BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb935c4e813b5a39add7d74a332bab4384bf192","datavalue":{"value":{"entity-type":"item","numeric-id":685395,"id":"Q685395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2cbc090748e8cda97cfdba46823333f4154a98b","datavalue":{"value":{"amount":"+0.7853567600250244","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":"Q3725520$7B497F75-3EE6-4653-B413-364807AB6BEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3725520","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3725520"}}}}}