{"entities":{"Q4913864":{"pageid":6943443,"ns":120,"title":"Item:Q4913864","lastrevid":98291543,"modified":"2026-06-05T17:09:00Z","type":"item","id":"Q4913864","labels":{"en":{"language":"en","value":"A Geometric Procedure with Prover9"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6154723"}},"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":"Q4913864$99024982-DD65-41BC-A7F8-69FB9F583D4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4be63f7e79d7e0af548a83e9c23e05aec1720e79","datavalue":{"value":{"text":"A Geometric Procedure with Prover9","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4913864$98FCE962-E44D-4A58-A882-B2C022B5C6DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0571b2272f9b19a7ec42d4ab08fdaaaf1bef7f83","datavalue":{"value":"1383.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913864$A73CDB48-1954-424D-A686-2A8B31477A3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f504bbc011fd0a28e4ce320bf8bc00762e89c50","datavalue":{"value":"10.1007/978-3-642-36675-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913864$59EA52AD-0F36-45EA-B78F-F1E558375F53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a969862dab9693ba2871085c6658749a1bf7a23","datavalue":{"value":{"entity-type":"item","numeric-id":818942,"id":"Q818942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913864$CF42763C-9192-40AC-9C82-B57529C40808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26e67c284200a94e888860be6089d9b97aa022aa","datavalue":{"value":{"entity-type":"item","numeric-id":220721,"id":"Q220721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913864$4BEB5F58-D792-4539-AEAD-D992916B5D53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8aa0b3ee498e77ce1255c8f711acc0df364677a8","datavalue":{"value":{"entity-type":"item","numeric-id":4913857,"id":"Q4913857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913864$4560E7A1-28FE-4B66-AD38-7A2C172AC33F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3eba33b2385974e8774017fb8f69a7f11b91e4d3","datavalue":{"value":{"time":"+2013-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4913864$EC964DF0-9985-4703-89D5-4D2489F1B7BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913864$14EC0C39-36B7-4D11-97EB-EE55357148A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f00aec7b2c940e365c27808f50e4aeed90366677","datavalue":{"value":"14H52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913864$145AB64D-4D1C-47E4-BD69-8873EC32C515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"216939729202fc4b9c96cf3f62d6f618570d6e85","datavalue":{"value":"14Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913864$2C8B517B-A980-4E47-BEC1-3EF5A72D1DF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b314da61501efa8564e05deabd732590da390ee","datavalue":{"value":"6154723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913864$0D44F27D-AE30-43E4-BEEE-1FC71A5291C0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913864$EE1FF840-BFC9-40D0-83A2-BB3F02CBEE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913864$5D40C6DA-3C0B-4293-B2ED-68B50727C364","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":"Q4913864$09F16246-9EAC-4E3B-A535-2E8B04F1667E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90d546cb48555412a88fe7a3982cfca40d2502c4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36675-8_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4913864$981DF0E4-2C56-4713-8C7D-66C08527D710","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc89c77b23ecea3a74c975d0cd55c926b4e4484a","datavalue":{"value":"W2212590794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913864$37C98060-9AD9-4403-9057-FCDD9E5D0F20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f224143bcb50a74f56cfa6d19283b56fea1ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4023805,"id":"Q4023805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913864$E4FCEF30-3A24-4669-ABA7-398ED6B4DBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f92d5b9d5cd2cc9df62ce8fa426b92f9a5dfc07","datavalue":{"value":{"entity-type":"item","numeric-id":5628266,"id":"Q5628266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913864$71B7207B-47C6-432D-AF53-1CE2D77283DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d51942ef33780d93dcf995edaa381b6eb82292","datavalue":{"value":{"entity-type":"item","numeric-id":3958438,"id":"Q3958438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913864$A4E9D10A-3433-44AF-A7AA-50AD7FA8213C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff69aa45fc2a8afcee27b38ca57fddbf199f815","datavalue":{"value":{"entity-type":"item","numeric-id":1343392,"id":"Q1343392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913864$F54C0C12-6141-4407-90BB-2BB5AEC2EF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f281b726b111a8117ce2016c37d8ee728cd96204","datavalue":{"value":{"entity-type":"item","numeric-id":860106,"id":"Q860106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913864$1358D622-6DD7-478F-9CD8-BBFA53F93DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2259a1c5d8494a13bd8b29b9235067be41012485","datavalue":{"value":{"entity-type":"item","numeric-id":4913864,"id":"Q4913864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913864$F39839A0-F1B4-443C-A26F-2AE0078A22CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc44a322a2d5df21729161dbd71d8ae460f4531","datavalue":{"value":{"entity-type":"item","numeric-id":4004187,"id":"Q4004187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913864$D293C551-1D6A-48D0-A981-AA85CF5EC1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d369cdefe0a9566736c1e54a3297e9cc957d72e","datavalue":{"value":{"entity-type":"item","numeric-id":5951528,"id":"Q5951528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913864$EEEA6777-6963-4C63-A24E-2BB9114A62F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4542d4f6ee9ed97205b6e68ed988ac4f3df1a721","datavalue":{"value":{"entity-type":"item","numeric-id":4531856,"id":"Q4531856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"941d269876f53b838939cebb753e2b9014644144","datavalue":{"value":{"amount":"+0.8846527","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":"Q4913864$309E46E0-580A-47BE-88C9-8C20E23E8D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7b60e1605e7f42178b8d7d7d5e757e69e556cd","datavalue":{"value":{"entity-type":"item","numeric-id":1855223,"id":"Q1855223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"857e85cfdfda3cbf285b2d64c2f34cef2833db41","datavalue":{"value":{"amount":"+0.880446","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":"Q4913864$ED99A4E3-74BA-4013-A292-B2C2124450FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d12ae3e83392588eea305820d2cbc4f36df92be0","datavalue":{"value":{"entity-type":"item","numeric-id":4979425,"id":"Q4979425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11807ad58ac2f12feb2e359cd68f9a76bf489601","datavalue":{"value":{"amount":"+0.8789413","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":"Q4913864$A06F42CC-C104-4D53-9DC4-88BC4DB05A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7224747398cbdf6639c20ca4da52c5f24ad9085c","datavalue":{"value":{"entity-type":"item","numeric-id":2849504,"id":"Q2849504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b3ffc04bc5fe743450840825c9a00c6c12daa3","datavalue":{"value":{"amount":"+0.87582815","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":"Q4913864$12D6B62E-239F-4240-8703-2E18120CE594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b0887732a82eb13ce3dd57766a50c37fb09b742","datavalue":{"value":{"entity-type":"item","numeric-id":1924743,"id":"Q1924743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"450d92fed27a855aedf6f3cf8c10bf5e16ee9c7f","datavalue":{"value":{"amount":"+0.8702817","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":"Q4913864$ADB294D9-FB4D-4238-BA42-222C91318F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f101e71ef07886c12da4c153e9433a77b3d02237","datavalue":{"value":{"entity-type":"item","numeric-id":3833652,"id":"Q3833652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565c4e70b9fff57cfb36f66bf44bf8193775c305","datavalue":{"value":{"amount":"+0.8655237","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":"Q4913864$2EEF3DC0-71A7-4981-AFD3-52FF6B2B58B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d3c44cd7689fc401358e3f89e1f02efc69493e","datavalue":{"value":{"entity-type":"item","numeric-id":1101255,"id":"Q1101255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb48d0cf89c02cc6d267d0767926513e062e1c91","datavalue":{"value":{"amount":"+0.865216","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":"Q4913864$0119AC46-5E1B-4687-B669-5AC10BE33D3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Geometric Procedure with Prover9","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Geometric_Procedure_with_Prover9"}}}}}