{"entities":{"Q5234710":{"pageid":7264278,"ns":120,"title":"Item:Q5234710","lastrevid":53547227,"modified":"2026-01-25T06:06:00Z","type":"item","id":"Q5234710","labels":{"en":{"language":"en","value":"\\textsc{Minlog}: a minimal logic theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7111180"}},"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":"Q5234710$958083BA-047C-4CDD-8220-8B703817DC7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3024bef765657402330ef22e36ce458ebbc9432","datavalue":{"value":{"text":"Minlog: A minimal logic theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5234710$24C18A73-5D2D-4980-BB96-9EB6E64631E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"225365e93b64516f137d6fe4e2cfe74d5fbf4a00","datavalue":{"value":"1430.68424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234710$237E1E04-105F-4AFB-AE71-69B0351DDDBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df8875efb83aa94e728061a47c9eb24295c95ba3","datavalue":{"value":"10.1007/3-540-63104-6_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234710$0DE2E8B6-6F39-4B06-BA10-4BBDA8EFAFC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d3860a2f9767fdefbee4661adcdc84432183bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5234680,"id":"Q5234680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234710$934899FA-56E2-4970-8141-2E0E1447C496","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea1ace5968cb70ccc50b025abd55a0016bafdf0","datavalue":{"value":{"time":"+2019-10-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":"Q5234710$55241C70-EBD5-485A-ACC0-1032730FDD49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234710$6AD78FE3-282F-4F80-87F6-4B3321FEF3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234710$7169B096-8D46-417F-B568-170402E7BBAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74a7bf5b98d200c3b2c9b50cc6828fce03420122","datavalue":{"value":"7111180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234710$10A23DAD-3629-4B69-AE8E-C67D0794BE33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bcf20fbd6e518d6ec705e75c1250ec189c8029f","datavalue":{"value":{"entity-type":"item","numeric-id":689215,"id":"Q689215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234710$1A3E767B-5554-4098-B924-E0F58E519F2E","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":"Q5234710$63A1BD86-6810-46B9-AB72-13FB6702B846","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33837b8c0352b9a897fbc434da9e336470bdce50","datavalue":{"value":"https://doi.org/10.1007/3-540-63104-6_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q5234710$B95242CD-ED67-414F-BE63-4A38B4B47382","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f0f3bca830530ef628e6f4429749dbaa06919e2","datavalue":{"value":"W1567879936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234710$E72397D5-DF3B-4E15-AB71-14E0DD10E5CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234710$3446983B-BDD5-4A0D-89CD-C5A4168FB136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f660261386a269c5c6d007e1774c790f4ddf72ec","datavalue":{"value":{"entity-type":"item","numeric-id":5815602,"id":"Q5815602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234710$12E3238E-E3BD-4667-A14F-965167A4B8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf37a67188bb478aaca8d5a295c49a3f0529c426","datavalue":{"value":{"entity-type":"item","numeric-id":766956,"id":"Q766956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234710$A68D4170-EDE5-4FB0-B870-30AE738464A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7dd5ca55f4367f2ed1011304c47ad16fa789bc9","datavalue":{"value":{"entity-type":"item","numeric-id":4524766,"id":"Q4524766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a64177a40ca969b7f348b0e09871434c159631f2","datavalue":{"value":{"amount":"+0.7831443548202515","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":"Q5234710$89BDEDDF-300B-4755-B8E4-3EF06B7C9298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c789904cc9aa28865270aa04e090151115095c9c","datavalue":{"value":{"entity-type":"item","numeric-id":4933312,"id":"Q4933312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f37c5700e7275cc65c6eee4f54e39e9868874e7c","datavalue":{"value":{"amount":"+0.7831441760063171","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":"Q5234710$A1B9C3C2-3484-445C-ADB8-06519664A68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02875efcda45dd6c3450fa983afbefd43cb26b91","datavalue":{"value":{"entity-type":"item","numeric-id":5285991,"id":"Q5285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb37fa1eaa23992c86e63ea865e6b937cdd6d7cb","datavalue":{"value":{"amount":"+0.7755744457244873","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":"Q5234710$4A622FF9-1FFB-43D5-B3E6-29DA073E3A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91025f4309dc727e77e7be30c8748d32510a0adf","datavalue":{"value":{"entity-type":"item","numeric-id":4202954,"id":"Q4202954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb7e776d78e7d6bfb6bd7197ace0d5ebca85f495","datavalue":{"value":{"amount":"+0.7711434960365295","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":"Q5234710$7E75370B-1B15-42DD-A94A-7D95AD2FAA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc88718a305d147397faaf7899d51ccdc2bb5ca","datavalue":{"value":{"entity-type":"item","numeric-id":4647496,"id":"Q4647496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4ac875bdffc4bcb8ad5bf8023263e81488d189","datavalue":{"value":{"amount":"+0.7673532962799072","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":"Q5234710$5127D99A-A3F4-4108-AF20-187754ED4915","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5234710","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5234710"}}}}}