{"entities":{"Q2365127":{"pageid":2375870,"ns":120,"title":"Item:Q2365127","lastrevid":78724664,"modified":"2026-05-06T12:17:25Z","type":"item","id":"Q2365127","labels":{"en":{"language":"en","value":"PSATO: A distributed propositional prover and its application to quasigroup problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 968652"}},"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":"Q2365127$A3C380EC-6A31-4089-88BB-14467CD8B045","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2722ebc97f5d3703481ce90ac4c3219abfbba0ee","datavalue":{"value":{"text":"PSATO: A distributed propositional prover and its application to quasigroup problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2365127$CEA66445-B764-42C0-9D46-7FDCC3C7B332","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25fe31870ea7e09ea8d59cda27c3534a74792aed","datavalue":{"value":"0863.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365127$F7557E8C-B16E-46CB-8793-3B9BFE70706B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b455290f5b835c3773a6eb2262897ac70e7a163b","datavalue":{"value":{"entity-type":"item","numeric-id":287273,"id":"Q287273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365127$A577EEFF-2454-40CF-886C-94F1635DC7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5584b61080269b096f785173ffd49061cb7d63a9","datavalue":{"value":{"entity-type":"item","numeric-id":673133,"id":"Q673133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365127$C347FE46-6D08-43FB-8871-9FA293270ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19b168abea7db04055f6cf4c99009d9572497bb1","datavalue":{"value":{"entity-type":"item","numeric-id":1617008,"id":"Q1617008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365127$F9E46F4C-E66F-4BE3-A3E7-71A9ACEEC46A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365127$470271EF-7F85-41D0-9E4B-682441401B9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e939ca6c7add40c971d493dfafac5fb568b99d8e","datavalue":{"value":{"time":"+1997-06-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":"Q2365127$5341F4AB-A3F3-4BCA-8F03-DE9550DAA036","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365127$221A3102-E19C-4C2F-9B9B-FE73860642F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8a9a8a813468915376aadcbf4910c6b69eb5295","datavalue":{"value":"968652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365127$05B80946-2BFD-4966-9D35-D34FA0395CC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365127$32EA4BBC-1D25-4FED-AFEC-9B6FBE50E5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4360eb1429035db5b3d5b04562b1c2c57287c7a","datavalue":{"value":"PSATO","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365127$AB360037-4C64-49F0-8882-180E5A7119EF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c55b02aff260c82fbd1211080f1ad48c6d9aaba2","datavalue":{"value":{"entity-type":"item","numeric-id":18502,"id":"Q18502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365127$8CDC669B-56C7-4AE2-B4AD-678E4A6D4AE1","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":"Q2365127$A5B4860A-26C4-4730-B2BE-DF6759B3B787","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":"Q2365127$95B31A56-FEF8-4CB1-8A28-8F4E6C0F6464","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d39c8623996224c8a0036d3f708e360cc17dd71","datavalue":{"value":"https://doi.org/10.1006/jsco.1996.0030","type":"string"},"datatype":"url"},"type":"statement","id":"Q2365127$59B2CBF0-CB74-42C9-8373-828BA63AEC73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"887c9508093e62917a0be3ee6aa3e8ac751dfab9","datavalue":{"value":"W2092775861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365127$44926EF3-BD10-4F6E-A62C-A1CC895D1E1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c175e6a5ea97fee44cf53de4836538bbd7f4182","datavalue":{"value":"10.1006/JSCO.1996.0030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365127$AAE109AC-B311-46A4-A57B-75DB269B00C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08e2c60303a204597f85bd4841abf3fd581d0c09","datavalue":{"value":{"entity-type":"item","numeric-id":1380435,"id":"Q1380435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57c451bb01b26c55a4dd81946948ff20b5bdb5d5","datavalue":{"value":{"amount":"+0.7892884016036987","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":"Q2365127$C0459BE6-2C9B-497A-A415-DF906D0BCF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8787fc36fd4f9fd376425e5bc677184a2d52b70b","datavalue":{"value":{"entity-type":"item","numeric-id":2741526,"id":"Q2741526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c5a9d731139aeb7abfb932664c06b7480e8ac2","datavalue":{"value":{"amount":"+0.7873931527137756","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":"Q2365127$0D298787-F6EE-4D89-9FA1-F098231F0ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b5de04df1aec7e8fea407ceeb0c31ea1528b90e","datavalue":{"value":{"entity-type":"item","numeric-id":812442,"id":"Q812442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe0b976b85b62b5c5ced6b84ae39476f9218db5","datavalue":{"value":{"amount":"+0.7768910527229309","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":"Q2365127$D5D958E9-5038-4241-9772-3148E0F21637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc202638374ea772190b3e3d3f5d32f56840118","datavalue":{"value":{"entity-type":"item","numeric-id":1978017,"id":"Q1978017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c17a008674d9100431fba0d38a845ae28e83e6c6","datavalue":{"value":{"amount":"+0.7607244253158569","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":"Q2365127$3AED08E1-EFCA-40B8-8D88-56BAB65A9853","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PSATO: A distributed propositional prover and its application to quasigroup problems","badges":[]}}}}}