{"entities":{"Q3512500":{"pageid":5542404,"ns":120,"title":"Item:Q3512500","lastrevid":48897691,"modified":"2026-01-06T02:56:13Z","type":"item","id":"Q3512500","labels":{"en":{"language":"en","value":"Inferring Congruence Equations Using SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301116"}},"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":"Q3512500$30C708DF-8EFC-4F2E-A65E-E85525BAF0DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0e7d90e7c440f8e12520f5134d33146818fe70b","datavalue":{"value":{"text":"Inferring Congruence Equations Using SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512500$DBB45DD6-D298-4487-BFBA-4E10C7CAFFE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f27308171ee376d72038ab736bb15a17dcba199a","datavalue":{"value":"1155.68441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512500$486A37A6-5C45-40AF-887A-32198CCA9F3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"147cfa20727ccf2f344baba622f04715aa783861","datavalue":{"value":"10.1007/978-3-540-70545-1_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512500$26881D07-4179-4686-B86D-8E4BDC6C1A65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3398e52dfa611cfbebe7884f888145f10a6bb45a","datavalue":{"value":{"entity-type":"item","numeric-id":294783,"id":"Q294783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512500$F7EE4926-0D07-4A51-9FA6-A5DC299BD4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c13414e2e9fe70ae35bf1219d16c73b3483198","datavalue":{"value":{"entity-type":"item","numeric-id":264990,"id":"Q264990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512500$03F4FE97-F422-4361-BD1B-1BAA9B84CA2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512500$9DFAC2F4-F176-4D8B-A96A-1DD68826D874","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe6d7edb29c3b9253535d2fc716f213464cdfbcd","datavalue":{"value":{"time":"+2008-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3512500$219DC8A2-FF82-4618-A2B2-3AFBCA975102","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512500$540F0C21-0573-4823-9D05-D80D656653AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512500$59DA02E0-349A-40A7-AD13-693D56D35995","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7b3da54f183d37a86ed98c650dc32f968f4a1cf","datavalue":{"value":"5301116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512500$1DAD56F3-E753-48FD-A13D-F58276977FF0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cdff1e17c7cd0b85264ca7b8f915a3ae8bb053c7","datavalue":{"value":"Q57665014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512500$5BCA30E6-B389-4F68-9672-87E02B13BC02","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":"Q3512500$AF176087-614A-44F8-A96A-0363F2DCD954","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75b84bc07937760d3dd5aa786394a8cd75f93df8","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70545-1_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512500$8A1298E2-5C28-4450-8B8A-414C3CB93B72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc528b945d8d5786d5a8ce0b237bf476f742ca6c","datavalue":{"value":"W1824807610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512500$197C2FA9-9586-40B4-8760-62ADC508D79C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3d826ce91a5e6de922b8c63f17fcb45f663b49","datavalue":{"value":{"entity-type":"item","numeric-id":3591087,"id":"Q3591087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512500$09903096-616D-483D-A5C3-B82A5E320C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9d760b56e81829535236b574ab4988cdae3b4b","datavalue":{"value":{"entity-type":"item","numeric-id":3417010,"id":"Q3417010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512500$960520B9-4961-4202-9A59-02E4AA8514FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512500$45B9A798-1A1C-411C-A7D3-7CB1E42A2A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1588643b46bb7595ed7eb54aa874b8401b35090e","datavalue":{"value":{"entity-type":"item","numeric-id":4729316,"id":"Q4729316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512500$06927356-3370-4491-ABD2-04244B5C61CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff1af792679360d22bf4854deab8d5e4699ff23","datavalue":{"value":{"entity-type":"item","numeric-id":2942914,"id":"Q2942914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512500$54512095-EE1D-44DD-96FD-C51214CC0239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512500$57E684DA-84B4-43DB-BBB4-829BE9A63839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78861af54394afcf1551d3d2f37b57b8c4737fd3","datavalue":{"value":{"entity-type":"item","numeric-id":5899053,"id":"Q5899053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512500$DD5E01CB-1CDA-4099-B64E-016A9092B521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4635c034e3612a8ba1066d2ae34b2f15331a7a3f","datavalue":{"value":{"entity-type":"item","numeric-id":3512500,"id":"Q3512500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512500$E20C150F-3643-45D8-A8EA-517AB85150EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8484a6c88367630adeb56108255e9a2f08e5f70e","datavalue":{"value":{"entity-type":"item","numeric-id":5394179,"id":"Q5394179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512500$159947CD-077F-4881-8612-F2471003F12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f76fff77d3d9d9b4845d1274e18b6e480264ff","datavalue":{"value":{"entity-type":"item","numeric-id":5466534,"id":"Q5466534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512500$669808BD-0A64-4B92-ACB8-F97C7E19CDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05c19a6cf908fdaacd7c82b34854951ae826de39","datavalue":{"value":{"entity-type":"item","numeric-id":5316583,"id":"Q5316583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512500$7170C056-93BF-443B-AED9-84ACFDA75DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512500$9317AA84-9EB1-499A-A681-AA4B31A55BCF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4564dcbe209d24a2f509e63518773f769d6b6c9e","datavalue":{"value":{"entity-type":"item","numeric-id":4524792,"id":"Q4524792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91ddcaad80f0d05afa0fb34e71ed4ec89cfc16dd","datavalue":{"value":{"amount":"+0.85968244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512500$43039822-73DF-4AD1-8A42-1A5EC142D55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4315323875c6003c6af0815b7ca79ecfa743b0","datavalue":{"value":{"entity-type":"item","numeric-id":487632,"id":"Q487632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2403441d6570199833ce6cf428d8b2c6bb096b0","datavalue":{"value":{"amount":"+0.8518293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512500$24E25423-6793-44CF-8FB1-FEEF7CDBC4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c2835b1b41c28c30d454b2087e41aef5daa591b","datavalue":{"value":{"entity-type":"item","numeric-id":2330594,"id":"Q2330594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ad86bf8c25c8196a2f585d60a730865a45cdcf1","datavalue":{"value":{"amount":"+0.85124594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512500$D62772EE-D3E7-4EE8-AD7C-A068358C98F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38e6aaa02a6dd15149691d75689b8dee0520308","datavalue":{"value":{"entity-type":"item","numeric-id":438576,"id":"Q438576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f83ee0b01d3980f0df39a829ff0ed4e916c74fb","datavalue":{"value":{"amount":"+0.8504855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512500$30891304-8200-4C7D-BEBE-4CFB7204E779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed2a21990c9204b0e7daadfca4330594fa69b0d","datavalue":{"value":{"entity-type":"item","numeric-id":3054232,"id":"Q3054232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dba97f15ae3bf888ddedcb9b910ced59ae5f6ac8","datavalue":{"value":{"amount":"+0.84388256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512500$B686E2E7-7586-4265-BE8F-E76C1036D66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"122ac79e78586701964dafba804ee5d3874c9a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2307627,"id":"Q2307627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e08c7e11eae02e333c345d8ff90577caecff60f","datavalue":{"value":{"amount":"+0.8412534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512500$B4686D4C-4077-40C7-ABD4-0F344E0C3B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc152b69658baaf410ec2525d1cf798f071f405e","datavalue":{"value":{"entity-type":"item","numeric-id":4369485,"id":"Q4369485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"849fb7cdaf3a17b4e121a050bc564f85b8074d41","datavalue":{"value":{"amount":"+0.83772564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512500$9D935E0A-7101-440A-BF07-FECAF213351B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f15d8caaf6af28a8097b6d816433deb98b57688","datavalue":{"value":{"entity-type":"item","numeric-id":5881303,"id":"Q5881303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"303b420022d540f218d1658ff6546fca8ccd304b","datavalue":{"value":{"amount":"+0.8372726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512500$C0A9F8A3-0C7F-4A01-B473-4F61861C3166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df0d05e3017f3ba17287c82928f9843aabc791e0","datavalue":{"value":{"entity-type":"item","numeric-id":3818292,"id":"Q3818292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce0d8acfdab3b317c8f85c487f5f0716e139be1","datavalue":{"value":{"amount":"+0.83199096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3512500$88F3CE6E-7D8E-42F0-B06C-B68310EF33C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3512500","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3512500"}}}}}