{"entities":{"Q6560183":{"pageid":14171338,"ns":120,"title":"Item:Q6560183","lastrevid":55692457,"modified":"2026-02-17T21:07:00Z","type":"item","id":"Q6560183","labels":{"en":{"language":"en","value":"Theorem proving modulo associativity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7869539"}},"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":"Q6560183$86B8C3AD-B073-4CEC-817C-438988B5AF1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"673a210265d3351f5c0f3b6352e82fda74bd515b","datavalue":{"value":{"text":"Theorem proving modulo associativity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560183$0DBFCF9E-6AE4-4299-BB0B-F0927355FF56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90f6af062ac048de18d1b86226de4f2f3e60b7a5","datavalue":{"value":"1540.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560183$B8AFF98A-FB3E-4DC2-B43D-0FAE980ED74B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0c4a3dc3f718eb7635d95c1e8ffc409ac6f7f32","datavalue":{"value":"10.1007/3-540-61377-3_53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560183$232EDD82-60FF-45B5-91FA-BEFC84178EBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"076f42ceb107ac95ece0987fd254ab37feda8487","datavalue":{"value":{"entity-type":"item","numeric-id":352976,"id":"Q352976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560183$0114D6DE-1C0C-454B-ADFF-4D6DD5FC0085","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f537c6f80ef2272fb77fcdfce306448ca22994d","datavalue":{"value":{"time":"+2024-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560183$F20B34B9-F22C-422A-8F1F-AF94F392698F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560183$D5DEDD94-BDF8-4928-B810-EF2CFAB3C113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560183$5A783121-F300-4032-BB00-EBC7F8908E3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"991a8b28b61207a22849d868987b3394a0500e74","datavalue":{"value":"7869539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560183$AB3929DE-B941-4A74-91DB-97BE2C69D6CD","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":"Q6560183$400767BE-34C0-4046-A437-188828F7226F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f463d2fc68b751147d657b7d88f441cdf392409","datavalue":{"value":{"entity-type":"item","numeric-id":4000281,"id":"Q4000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560183$9DBF4DEE-1B36-46CB-B016-A4EC95512E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59bb3344b4f89870291c44462654819d8a7d7295","datavalue":{"value":{"entity-type":"item","numeric-id":3809306,"id":"Q3809306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560183$EFEE8803-F78D-47F4-8849-CDF3835E5CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560183$7F879DB8-E886-4602-A9FD-89E5D6AD2566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560183$06602B3F-7880-428D-84D6-EC1D6EFC088D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ffd80c0f66dbfb43fc21c30aee0ecb3bfcf815","datavalue":{"value":{"entity-type":"item","numeric-id":3673071,"id":"Q3673071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560183$D1C9868D-4908-4067-BC14-F90B5C04DE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560183$5C56725C-766A-4E19-9DE3-B53847DA4790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065ea4604210f6f33929664cd3c1938f56d2a34a","datavalue":{"value":{"entity-type":"item","numeric-id":4179180,"id":"Q4179180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560183$EE760187-F5C2-442F-93FB-C9168C610585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10f3c8da72a81dee234f4b63f5e0583ee7657e77","datavalue":{"value":{"entity-type":"item","numeric-id":5055779,"id":"Q5055779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560183$256C7D26-BC54-46FD-9AD9-53FFD30AF630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f634c169695e013798d603192de773983211324","datavalue":{"value":{"entity-type":"item","numeric-id":5210796,"id":"Q5210796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560183$E68AE1B3-37E9-4C83-B924-145D2D488817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a8fb7c1504b4023b489475633410efba01eda3","datavalue":{"value":{"entity-type":"item","numeric-id":1897557,"id":"Q1897557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560183$9D7A86DB-9D6D-41D4-8E96-747D9C94F481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560183$5E616219-6BD2-4B1E-A087-5CF8D899B365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b0da357bc28f2018fdac63b895dea5e653f0e3","datavalue":{"value":{"entity-type":"item","numeric-id":673623,"id":"Q673623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560183$055F8A0C-BEDF-411B-BDC6-512B03EAD724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0e2e21940719d5d9e0a6f9eda9f87221d6c71a","datavalue":{"value":{"entity-type":"item","numeric-id":5210795,"id":"Q5210795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560183$8C1D0609-742C-4246-9E1F-8B12B0645869","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925afcd37d501359acb17fbde86e53e5f3c5cba9","datavalue":{"value":{"entity-type":"item","numeric-id":2055853,"id":"Q2055853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b33d8eab3ab14892d782d4b66403aed31668d85","datavalue":{"value":{"amount":"+0.8173561692237854","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":"Q6560183$65F9CA9E-ABEA-475F-B8EE-C421C8D96D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ecda5e3a46bcf7593ba405dfe633a1c293b69b7","datavalue":{"value":{"entity-type":"item","numeric-id":1340508,"id":"Q1340508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"872ae107ed398081de6ec527921475c2badd665c","datavalue":{"value":{"amount":"+0.7943047881126404","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":"Q6560183$88A3F82F-FD88-4EA9-AAD8-5CBA6F2D8CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2eb12de7a948e2e1b7677f03b3678c4a097a9d2","datavalue":{"value":{"entity-type":"item","numeric-id":5210795,"id":"Q5210795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc8bbe25b4fc307581eb6b940d0563e58d75515","datavalue":{"value":{"amount":"+0.7903572916984558","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":"Q6560183$D70544CF-D252-403A-896E-AD39B341367C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edb9bc103ac6abca6432b206f30fd565c83d1948","datavalue":{"value":{"entity-type":"item","numeric-id":1209615,"id":"Q1209615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c2d84b458d32b935369d939623ac471456e0175","datavalue":{"value":{"amount":"+0.7826417684555054","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":"Q6560183$D60ADA0F-2E2C-4A16-BB07-FB4FBCC4A514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf9b1ec3df75183da3403b62dc33faede6033f29","datavalue":{"value":{"entity-type":"item","numeric-id":1897557,"id":"Q1897557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8276130b072b59476c2bae98f71460548bb38909","datavalue":{"value":{"amount":"+0.7745451927185059","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":"Q6560183$0EFDE296-8DBB-4FAA-A321-F4C0F51076B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560183","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560183"}}}}}