{"entities":{"Q1978017":{"pageid":1988759,"ns":120,"title":"Item:Q1978017","lastrevid":46897743,"modified":"2025-12-25T19:47:30Z","type":"item","id":"Q1978017","labels":{"en":{"language":"en","value":"Parallel cooperative propositional theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1456916"}},"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":"Q1978017$DACF33A4-714F-4532-9467-D3344CD3118E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b50cecd0b8f496a983cd4407d3795cca4372221e","datavalue":{"value":{"text":"Parallel cooperative propositional theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1978017$5C735A9B-4F9B-4767-9B1E-520377B863A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e07e57abac0a19df90b5c8b9558d40137ae3d89f","datavalue":{"value":"0940.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978017$ABA40A13-04AA-4CA0-A794-FFFB52A45103","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bc416f08f02de1c25ab8432fb0d7b3b7ea7e105","datavalue":{"value":"10.1023/A:1018946526109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978017$133E0937-924C-4CE5-A482-FB07C3364695","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d135fdb5d9cabc45110bc7ef12c6bf6347c59da","datavalue":{"value":{"entity-type":"item","numeric-id":1430297,"id":"Q1430297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978017$3A1728E7-53A8-4017-8326-7447B8ABC371","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978017$9D75CF4F-4DED-4C6F-95FD-169B41E873AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f824e8df8660a01a22c6ea772f84f035aa08b14a","datavalue":{"value":{"time":"+2000-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1978017$B3AD4B48-5AE9-49F7-93C4-049F2651BD12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978017$CE6E6428-EEE8-4607-8BD5-002EB5A77CFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e68ad542e2aea87cebacf1df617475b86489fbe6","datavalue":{"value":"1456916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978017$72D41C36-ECC9-4AD5-81D6-A10274283460","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d01f177bcae195bfaecf7b018dacf991e9e9aa","datavalue":{"value":"parallel satisfiability testing algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978017$F7D75A32-4D73-4FB1-A879-1699C0888341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b78a120d5bcd17b094521751d8d7758bf4c9366","datavalue":{"value":"parallel modoc","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978017$A172772E-7886-4CEC-9A4D-3AC7F2442394","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":"Q1978017$024AD9FF-4F43-4B63-AF98-695215F56328","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d1627f6805e65bb5695d1c2babc43b556f974ef","datavalue":{"value":"https://doi.org/10.1023/a:1018946526109","type":"string"},"datatype":"url"},"type":"statement","id":"Q1978017$A9AC322B-4F29-447B-A4F1-D6FA7643F243","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c92521cf746afdd24174c957888f383a9ed62f2","datavalue":{"value":"W1485312863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978017$56B5EF03-AA94-4C2D-92D9-E1CFCA7DCB1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fad1674c6d83dc31194cbf0f096419a4ed6ac1f","datavalue":{"value":{"entity-type":"item","numeric-id":1102766,"id":"Q1102766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082c1e228b250c7160b79a7fcaef81d2edca7fa7","datavalue":{"value":{"amount":"+0.8083680868148804","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":"Q1978017$6C70188B-9761-4FC2-B9C9-F430C0260A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dca7e77f4030af3b0574131984b984ad9f8b7e33","datavalue":{"value":{"entity-type":"item","numeric-id":1961454,"id":"Q1961454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6aee4728827c317b684de52ac40a554509acf00","datavalue":{"value":{"amount":"+0.7940837144851685","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":"Q1978017$B0374E1E-D0FA-47C9-9B71-DA6FE7459395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e911c3c066298dbd84b6eb208bd4486b1125f600","datavalue":{"value":{"entity-type":"item","numeric-id":1978018,"id":"Q1978018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2995aba932516a2c0bfc8d384f9f22b1e0abbd1","datavalue":{"value":{"amount":"+0.7935128808021545","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":"Q1978017$E5FB74AF-EC79-4634-BC0E-D6DB044380DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a971cb69f3ee325b28cb4cd3052ed1093d23738","datavalue":{"value":{"entity-type":"item","numeric-id":1189725,"id":"Q1189725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02e6571ff006424881a9951da9d9678ed0c85ca0","datavalue":{"value":{"amount":"+0.7832984924316406","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":"Q1978017$1832A0B7-F3E4-49DB-8486-B72AD1C7F1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e5c4de3682dd0d7ed6433442c7ef8e31d27133","datavalue":{"value":{"entity-type":"item","numeric-id":3783626,"id":"Q3783626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34cc95db5b721f7413dc17a698eac818fb40d00c","datavalue":{"value":{"amount":"+0.7782989144325256","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":"Q1978017$526061B0-7D5F-4E31-950C-642271BFEC37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1978017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1978017"}}}}}