{"entities":{"Q5498738":{"pageid":7528298,"ns":120,"title":"Item:Q5498738","lastrevid":52195418,"modified":"2026-01-21T03:32:59Z","type":"item","id":"Q5498738","labels":{"en":{"language":"en","value":"FDR3 -- a modern refinement checker for CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6400462"}},"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":"Q5498738$46734084-6A67-4EAC-8D57-49CB86B8C634","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b014640deb573319d35ab231f9ba6c06a3bb1ff1","datavalue":{"value":{"text":"FDR3 \u2014 A Modern Refinement Checker for CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5498738$7A6E044C-EA34-4ABD-B44E-1F6A3FAFC6C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27c4dc43fc2a3c92e05a8d4f0d058c469075435e","datavalue":{"value":"1392.68300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5498738$666F241D-1781-413A-A980-78BEA55A7DC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6362897af486209d3d7fc568cd3b34e6fa35d5c5","datavalue":{"value":"10.1007/978-3-642-54862-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5498738$78A6F7EB-EC66-4525-B0D4-C71A87301055","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9ee90f8cb14e30a2f979418d0943f6e0ecd4f3b","datavalue":{"value":{"entity-type":"item","numeric-id":510896,"id":"Q510896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5498738$7B680EDD-2440-4266-8651-72C2F0D397EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"accf893623a80e00419cc626390385d3d3205c34","datavalue":{"value":{"entity-type":"item","numeric-id":5498737,"id":"Q5498737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5498738$8E907DBF-A2B3-434A-B630-CA4209723F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74cb3a3731f225ae372bad00bde6adff4ceed4fb","datavalue":{"value":{"entity-type":"item","numeric-id":510895,"id":"Q510895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5498738$9797E426-EBE4-498E-BA4E-7ACC531AD766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80461d6d9d7339257b40c85e88b219a6425c5ace","datavalue":{"value":{"entity-type":"item","numeric-id":333321,"id":"Q333321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5498738$36615266-902D-48B4-AAAE-6144357E9FCF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5498738$2056F5F1-BAF5-4D63-ABD4-D519F8824AF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8567c475d39df1c09c09eb256c1479ca71d95efe","datavalue":{"value":{"time":"+2015-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5498738$7E7C6CDA-E55A-4CA8-8E8F-C284CAA6199F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5498738$A883DECC-87F7-4472-ACA4-4E7F992B56E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"916f7dadb61cb5a47756ca37a89dead74c397c17","datavalue":{"value":"6400462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5498738$535B7D8B-34B9-4204-85A1-FDF3F3ADF518","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97873e1476593719fe9ae012a9df7469c6caafee","datavalue":{"value":{"entity-type":"item","numeric-id":24316,"id":"Q24316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5498738$05070E65-176E-4847-8CDD-B1801F06E1EA","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":"Q5498738$A41D3301-1E6A-40BF-8090-F4E12368A989","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b5ccaa95837b2a0a7964a1bd31a62982351dc22","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54862-8_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5498738$EA7B194A-66C3-4E27-8C47-B9E5498C9815","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"143af5337eb36d9941ee94769bed1c31ccc942bb","datavalue":{"value":"W1882160752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5498738$9ED11B6A-8E95-4D5E-9267-B83BF2BDD46F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d352571cc2747a1447b94bef2531b54cc1c690c1","datavalue":{"value":{"entity-type":"item","numeric-id":1019020,"id":"Q1019020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a99d876fc0d3de255c30553eb9a7aeb44d54fa8","datavalue":{"value":{"amount":"+0.854932427406311","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":"Q5498738$D25F253A-CFE3-40F7-BB94-3B3B15644930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed6b99fd4349ce486779a51c3b85820dad408b57","datavalue":{"value":{"entity-type":"item","numeric-id":2763965,"id":"Q2763965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"768d233287f641b6bf28fc4222abde58d05dbcc4","datavalue":{"value":{"amount":"+0.8004464507102966","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":"Q5498738$D07528AD-CB1B-43F2-AF40-47BD8EEF7614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b13a3c9be25562c167115fda6bca36fc82765ffa","datavalue":{"value":{"entity-type":"item","numeric-id":1708711,"id":"Q1708711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"470d5727ef54adccf60e29ba5a25c2eb0a9398f2","datavalue":{"value":{"amount":"+0.7710649371147156","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":"Q5498738$E4C8A5DF-8C29-4B2D-A4F1-EAE6C3FD82E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c06a75867c1715872d3ed23a2892eae40cdb2a4","datavalue":{"value":{"entity-type":"item","numeric-id":5709374,"id":"Q5709374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e86433463fbacd29bbad8243631cd9013803a48c","datavalue":{"value":{"amount":"+0.7615174651145935","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":"Q5498738$0AD7CDE6-B1E3-477A-B039-D8F3B9FE5714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50dd0939824a2bf3e37fea19f1b873eaf30decd8","datavalue":{"value":{"entity-type":"item","numeric-id":1941896,"id":"Q1941896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d44ee93d07e01eb395db25d63c74ab50993bac","datavalue":{"value":{"amount":"+0.7592523097991943","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":"Q5498738$D04A1305-6DE6-4C72-9FC6-86E4DBB49D67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5498738","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5498738"}}}}}