{"entities":{"Q4916229":{"pageid":6945810,"ns":120,"title":"Item:Q4916229","lastrevid":51698465,"modified":"2026-01-19T13:20:28Z","type":"item","id":"Q4916229","labels":{"en":{"language":"en","value":"Transforming equality logic to propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6156038"}},"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":"Q4916229$600039F9-F231-470B-B83D-8A0160AEEBC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74db3c803ab80a749030972ad2781655cecb0be2","datavalue":{"value":{"text":"Transforming equality logic to propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916229$DEF12238-1CDC-4F7A-B8B7-3870FCF94BA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"511d8ce27dce8ec5c5031da15165a2a3bed4a0f4","datavalue":{"value":"1261.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916229$00DF6255-524B-410C-9B2D-80624628243B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4256cb803a02bc60c8968f59612c46bf714fe0d7","datavalue":{"value":"10.1016/S1571-0661(04)80661-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916229$6DBC7E3C-AEB7-417B-B658-289F4B131D34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916229$7D09E182-B54B-4A99-B6D2-7905B99ADABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fe5c2c0ffa1d2d66cabf0c3214c913c44ecffb","datavalue":{"value":{"entity-type":"item","numeric-id":505038,"id":"Q505038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916229$3C38E7D0-A821-4E71-B92A-2818E209ABE5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916229$D2A1FA1A-2025-4B3E-973D-65AE86E6AF63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916229$C3910688-4106-4F66-94EC-176387CB9AC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916229$B85CC228-6B11-4453-86D1-4A709B721D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916229$15FB66BF-B749-4687-8A2F-9F443627383D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b09081c0b87b05c8e7519fe3e5e3c60ff80ad9a0","datavalue":{"value":"6156038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916229$427226BF-3727-4619-978C-406BD558C3F2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56a9ecaca2ef35efc3f134af231037d82db08c02","datavalue":{"value":{"entity-type":"item","numeric-id":21683,"id":"Q21683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916229$13EDB52D-99C8-4020-8847-21DAC0FB972F","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":"Q4916229$0BF2CF90-348C-4079-94FD-57E82361CD65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b2673bf036beb0708e9a25319f486f5c7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2651970,"id":"Q2651970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916229$80DC86AB-F819-4970-9318-F8ED08381B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc85061b2e01b3c39004d0ba311d60367a81324","datavalue":{"value":{"entity-type":"item","numeric-id":5738912,"id":"Q5738912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916229$FAED248F-B532-4890-AD00-6796062553BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534cfa2da099476694e6e32aa658441dc34d268c","datavalue":{"value":{"entity-type":"item","numeric-id":2754075,"id":"Q2754075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916229$D6B2952E-2665-4000-85ED-7E34BDC1B655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d0e3013ab16c89d201f2faed7831e304ca5ca7","datavalue":{"value":{"entity-type":"item","numeric-id":5738967,"id":"Q5738967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916229$E1228332-7E22-4280-9710-B0A3137CF5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50923a35276d4ffc47e783225d5f8a63d53e475c","datavalue":{"value":{"entity-type":"item","numeric-id":1870209,"id":"Q1870209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916229$A478A2E3-7845-43A1-9556-876AB5E50F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22782ecfc7a60281469e4273f383d2c24b35aa50","datavalue":{"value":{"entity-type":"item","numeric-id":2767014,"id":"Q2767014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916229$933CEE22-F3C6-4DCD-BD7C-2F6EB860C7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5599c727c68e4936c0ccf354ebed0f80ea71a399","datavalue":{"value":{"entity-type":"item","numeric-id":1977753,"id":"Q1977753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916229$925F14A3-95A3-45F3-BB29-7D2062453432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c630f243330e480767be66088a5b4e2ed5e6c","datavalue":{"value":{"entity-type":"item","numeric-id":4818813,"id":"Q4818813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916229$1CFE31C4-6EE2-4613-A145-70727A28EB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dddaa035eaea71f6f5775f7cf4d681b2ff556d38","datavalue":{"value":{"entity-type":"item","numeric-id":4551144,"id":"Q4551144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916229$397AB706-9D62-4CD9-B18C-097F47201977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5d6528693e3e58d43724d849b6eb246ec09303","datavalue":{"value":{"entity-type":"item","numeric-id":5901672,"id":"Q5901672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916229$7BB651DE-D008-441C-8BEF-2A2599C07C67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d42f39108d973d79daa8a3cb2513bd08e0a35df3","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80661-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916229$157DC6BD-3CED-43EA-9583-682CE20C6885","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04bfec9302ca4f24281faadeb5c6cf8816c65712","datavalue":{"value":"W2002015997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916229$6644398A-E930-4228-AF8C-68B270575BF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f3d2fb82462748952e75213b86ae0104a742f6","datavalue":{"value":{"entity-type":"item","numeric-id":5901672,"id":"Q5901672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"587da6d9c688ee10480455089a889bbe4fed2302","datavalue":{"value":{"amount":"+0.7762335538864136","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":"Q4916229$907236C8-41FB-44E2-B850-12443A2F67F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48710d195fb9dc39d18f1bd3ba7c460b31eb6df6","datavalue":{"value":{"entity-type":"item","numeric-id":4798384,"id":"Q4798384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"132c41e04525959fabcd50e1ec782575ce55d4f6","datavalue":{"value":{"amount":"+0.7169793248176575","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":"Q4916229$CB8691F4-6B9A-4311-86CE-254EA9884D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17b3ccdb381fec4be1283b248f65407d3f3879cc","datavalue":{"value":{"entity-type":"item","numeric-id":5716573,"id":"Q5716573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1a1026bd4db13316d5d1cb15b2b905fc87b9716","datavalue":{"value":{"amount":"+0.7140209674835205","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":"Q4916229$97AB592A-F2B3-43DF-8C76-7919E8DC2E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9312d1d91979e51c8615bb0c6f972074bc9256ff","datavalue":{"value":{"entity-type":"item","numeric-id":5464719,"id":"Q5464719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46cfd0abcea832d6e9a26c6ac5c6f9c04208a446","datavalue":{"value":{"amount":"+0.7104145288467407","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":"Q4916229$CDF0BA17-D5B7-489E-A4BD-4B4623BDB757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c71b2c8b62ec58ce788d4f9493878ad8b935d4","datavalue":{"value":{"entity-type":"item","numeric-id":5240950,"id":"Q5240950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd2fccce1b58a27404ae9093d08b7e04f16a3cf","datavalue":{"value":{"amount":"+0.706922709941864","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":"Q4916229$FC3138F6-AF01-4DBF-A77E-40F0C562433A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916229","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916229"}}}}}