{"entities":{"Q3546294":{"pageid":5576198,"ns":120,"title":"Item:Q3546294","lastrevid":49517554,"modified":"2026-01-07T11:00:27Z","type":"item","id":"Q3546294","labels":{"en":{"language":"en","value":"Simplify: a theorem prover for program checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5426542"}},"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":"Q3546294$781DEBF6-6E09-401C-8181-5C6079CDE2E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f3fd2cee6face04cbb2bd95525fd2efaf97e3bc","datavalue":{"value":{"text":"Simplify: a theorem prover for program checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3546294$EA69439A-A125-4453-B145-4273DFFFE2F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7a476703c83f81ec73ee219bc5cf3181fce89e1","datavalue":{"value":"1323.68462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546294$D8101A48-ECF0-4E19-A431-8068B6E4C83E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5314bc387b3d5520b8c0936494f190234862522","datavalue":{"value":"10.1145/1066100.1066102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546294$8495865B-2D41-4416-B010-683B38ED948D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"983ebfe02173cc88a3130726924d625a8af6af66","datavalue":{"value":{"entity-type":"item","numeric-id":1849580,"id":"Q1849580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546294$07A62085-D44F-4271-8EDC-9BF54818A79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d2a53010e3685eebfac0fac4337e9c95dbc3c14","datavalue":{"value":{"entity-type":"item","numeric-id":2767988,"id":"Q2767988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546294$7FDCDDF8-6249-49BA-AF7D-CD718513FFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c19976f280af2a9432c2c51239959366e237e59c","datavalue":{"value":{"entity-type":"item","numeric-id":598817,"id":"Q598817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546294$3D94FAD5-37A1-4C83-B491-24C6D1A1FD7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546294$4ADD6B7F-46B7-4C33-B934-224D54A1B21E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e585f09c3e724b05f201668ef36e38cb4b3cf3a","datavalue":{"value":{"time":"+2008-12-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":"Q3546294$4C6D034B-B39B-4BF5-A040-4DF5F3EA63B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546294$67144C7D-B04A-4FFB-A413-83A7B6FFF154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546294$69C25B7E-15BC-4C90-8F46-A10C02E0C86D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1532cd33445161deecefd8f10d42a8431b98b45","datavalue":{"value":"5426542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546294$1E01C801-E3A6-4CF1-BDDB-CC64F542D29B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546294$D5F46718-1327-4471-9A57-1148323F0A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546294$AB10177F-990D-4575-926F-6F8C4580264C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"319e87e1406d8756d4964625bc15ef93f38a0cfa","datavalue":{"value":"program checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546294$1518F06F-56E6-43D5-B156-A4F1F32856FB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546294$770ADF3F-6B4D-4C0A-BBD0-455A930E91DB","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":"Q3546294$26D15DDB-6E97-4E1A-BA4F-6FECD71B6F62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2aa9608d990b49aeaa1d3860f8b2f08be802dbc3","datavalue":{"value":"https://doi.org/10.1145/1066100.1066102","type":"string"},"datatype":"url"},"type":"statement","id":"Q3546294$BA8B8B4F-68B4-44F2-AB9A-724836CD63BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b48861a8953230af835139fb6b9ab1e14a8a173","datavalue":{"value":"W2055477538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546294$7B3D87F1-E395-4360-BEC4-557998CCB608","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dda344dc59111ebdc243aa7385d8c420b1f3686d","datavalue":{"value":{"entity-type":"item","numeric-id":2767011,"id":"Q2767011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c4fc72a5b0db4e22c4d94c158ed2da94cf8b80","datavalue":{"value":{"amount":"+0.8649678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546294$43EE151D-2826-4EB8-859F-4121F0C4B4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbb17b5eeff24acc0ae046b77968c0618c1cbba","datavalue":{"value":{"entity-type":"item","numeric-id":5204800,"id":"Q5204800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c1ab1da246fc19ae7c64929db3ad33232f9378a","datavalue":{"value":{"amount":"+0.8624714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546294$25424F7F-4FCB-4A9B-8AB1-7C12BEC6A3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b150fa6e2849a0ef1c68604407736315acb87e2","datavalue":{"value":{"entity-type":"item","numeric-id":3559766,"id":"Q3559766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b944ab0d30bce2e09074e6374b1a9a5b8149a1e","datavalue":{"value":{"amount":"+0.8592597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546294$DCFD7103-6CC1-47C2-92D0-2D36112EBB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e218af8cd43ad3720c9bf48989333d3d35e67744","datavalue":{"value":{"entity-type":"item","numeric-id":5756580,"id":"Q5756580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d23e9002594565f1b88326333a6913c31b49b10b","datavalue":{"value":{"amount":"+0.84939086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546294$69D6954D-065A-44AA-A3FA-65C327FB0595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c43f7937b89e125cc82d25728422e7f4f4948ee2","datavalue":{"value":{"entity-type":"item","numeric-id":4036283,"id":"Q4036283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29d64dac9a381380813d2e86f8454ba04c21253","datavalue":{"value":{"amount":"+0.84634393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546294$2DDA1031-B8F4-4D66-8D82-989139606131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc3df6eda0adfbde599dd1004027faf5061f90e","datavalue":{"value":{"entity-type":"item","numeric-id":5716570,"id":"Q5716570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"215efa167c379c03380c7aee8ea86cda6f7cd4b6","datavalue":{"value":{"amount":"+0.8462622","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546294$4CDBDF0E-0074-4632-A64C-0B39321747C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2565d9e77d9b51b905daa5bfbb63ce859f62d93b","datavalue":{"value":{"entity-type":"item","numeric-id":3345811,"id":"Q3345811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac7e6b589c1c993f15896027c106361a8baeb22c","datavalue":{"value":{"amount":"+0.8459718","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546294$45FBAA9D-1F66-43F6-892D-684C240B3908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be0cd7095f8acc603fa00ad5a62e6e994462a4b","datavalue":{"value":{"entity-type":"item","numeric-id":3731048,"id":"Q3731048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a52fdabdbaf2061cf50dcd918f576b153e9a331","datavalue":{"value":{"amount":"+0.8444501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546294$BC9D50F3-0869-44D1-83F8-EB92F9525E08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3546294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3546294"}}}}}