{"entities":{"Q5747769":{"pageid":7777320,"ns":120,"title":"Item:Q5747769","lastrevid":41684816,"modified":"2025-05-07T05:26:24Z","type":"item","id":"Q5747769","labels":{"en":{"language":"en","value":"RegSTAB: A SAT Solver for Propositional Schemata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785457"}},"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":"Q5747769$5330A3DB-FEDE-47F7-885C-912E9A7E018A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9fa46f163bcef766d904f58e1393afe24a71586","datavalue":{"value":{"text":"RegSTAB: A SAT Solver for Propositional Schemata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747769$F7B83983-3DF8-4B45-8E9B-FB351DAE64FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85806ccdca03a0287ebd18a43c8b91b60888cc5d","datavalue":{"value":"1291.68317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747769$6C78C26B-FB55-4206-8C25-8931ECAB156D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bff83f581a254feca98b294bbdc4e2a052323fa","datavalue":{"value":"10.1007/978-3-642-14203-1_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747769$7AFD30A0-6346-4E0F-999B-AB59D8835BFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87b58753525834b22585058db2818f43049ca5ee","datavalue":{"value":{"entity-type":"item","numeric-id":475382,"id":"Q475382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747769$52ACE368-220E-46C8-BCD6-DD82E64FA787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef8d9904a40baa08e6f0a10240e7a4f7764dfa82","datavalue":{"value":{"entity-type":"item","numeric-id":167062,"id":"Q167062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747769$C6B2431C-1099-4B8D-97E2-98F9E2353136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747769$C681C7E4-F8B8-420F-BBF2-7E174F3BAB8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747769$295A8197-3D51-43B7-AF92-9AFD713543EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747769$C6514F47-F61C-4F96-B994-F4DA53F8A329","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747769$875C929A-7326-4DAD-A3C8-5F07BC2B75F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747769$56AD0570-9515-4597-89C4-E3C430217332","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b3495ed1e818e0b3b5e952b1ef3ec4fa2cd0258","datavalue":{"value":"5785457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747769$605E3C33-C580-4C29-9F9A-06747634376E","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":"Q5747769$E304BCA6-941E-44CF-94E9-0AA50F8623B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae2ecefff1f53165e945e5f01949eae63085851d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747769$A66FCE34-ECA4-4380-AC18-4AA919E4B582","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fc6af57c7b83755d3ae008d36a0d1942aff9761","datavalue":{"value":"W1561293563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747769$00B0E599-8A13-4E10-9C1F-02F12B61FBAF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd97d5574734beacbd221099c7f1c09ad5f19f6","datavalue":{"value":{"entity-type":"item","numeric-id":3648719,"id":"Q3648719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747769$5815B415-EDC7-4223-B057-C9DF6D8E6B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3352cbad47406e4e9396481a13cd2a2bc144ae72","datavalue":{"value":{"entity-type":"item","numeric-id":3564849,"id":"Q3564849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747769$013A1A13-EDA3-4FBB-BD61-BAD7638E56AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b26c6ab69d79279e5741dc9e752266a4bad9b0","datavalue":{"value":{"entity-type":"item","numeric-id":5747768,"id":"Q5747768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747769$FDD8AB04-C7DC-4C5E-AE7B-C47EB67A542E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283c464ab58e6592359099b9e38bd4123cb07381","datavalue":{"value":{"entity-type":"item","numeric-id":5187860,"id":"Q5187860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747769$D942AD83-4D34-4BD0-97FF-5DAB95CAE7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ff82ab2dfa1864c5faf26125e582b6529d29d1","datavalue":{"value":{"entity-type":"item","numeric-id":4272502,"id":"Q4272502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747769$826EC89C-C964-43CA-91E1-E5ABE015577C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca42033159db7f723e09df228b4b44dba035fc70","datavalue":{"value":{"entity-type":"item","numeric-id":814607,"id":"Q814607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc1aa1c51beda351ecb37a3f41b152c2a5b9c029","datavalue":{"value":{"amount":"+0.8664486","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":"Q5747769$E04D8833-2401-4347-AFA2-874115DDFCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4cc8372e42b2ed6e724d494d1b3ed4292c0b6b9","datavalue":{"value":{"entity-type":"item","numeric-id":2643307,"id":"Q2643307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53bcf2aa8f5c0aee34d2b9f82c725c78a40e99a4","datavalue":{"value":{"amount":"+0.86195415","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":"Q5747769$E29CDE0A-021E-453C-8D05-799F049FA98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fad82f012f5c8d497eaea31aef295e15ac54356","datavalue":{"value":{"entity-type":"item","numeric-id":6066845,"id":"Q6066845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf64c29a2f4700d51188b2566b14190ce69bc2cd","datavalue":{"value":{"amount":"+0.8614118","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":"Q5747769$492E8ED6-4004-46F8-AED6-4ED6821EF12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6b2a937bce5baa1e44f54c9029c4c73e58425d9","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c9ce5b717c64f1487efb58b9ba19bb3e57f710c","datavalue":{"value":{"amount":"+0.8572376","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":"Q5747769$AC5308AE-632F-4320-9D2C-C28F189EB684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"148233dac74b824b39a35c083b6942896a6d39dc","datavalue":{"value":{"entity-type":"item","numeric-id":1688535,"id":"Q1688535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c16553b4e71065ec4ed3794c59d799eb2baab7","datavalue":{"value":{"amount":"+0.8491975","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":"Q5747769$8E99B7A9-A91A-4A59-AF5A-0C7FD2A92326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"484a4c8b09e108fa59838458d6677aa387d0c4f8","datavalue":{"value":{"entity-type":"item","numeric-id":2817923,"id":"Q2817923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c16553b4e71065ec4ed3794c59d799eb2baab7","datavalue":{"value":{"amount":"+0.8491975","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":"Q5747769$CFE5E352-B956-4AD6-ACAE-8A79D06EB494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18240ada612154b365e6daf50d72144869500ba","datavalue":{"value":{"entity-type":"item","numeric-id":3176367,"id":"Q3176367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8dfaff88f82069288d4dc4d13dc39a0c3b2ed3","datavalue":{"value":{"amount":"+0.84885","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":"Q5747769$B3AA9B07-FC08-490D-9438-8466CEDA5427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87629de4359287996da652e0418c9ee9d901e54c","datavalue":{"value":{"entity-type":"item","numeric-id":4797424,"id":"Q4797424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1653408b06ce23d85d07e6e3ccf6cdad2cff7e62","datavalue":{"value":{"amount":"+0.8467229","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":"Q5747769$658E2EDC-4C0A-4724-AF27-9C1672F67122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b91ca97086d9f884255edbbcd731340f2d9579","datavalue":{"value":{"entity-type":"item","numeric-id":5717462,"id":"Q5717462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f242a75e287a35691988b33a369c13fb7b59a38b","datavalue":{"value":{"amount":"+0.84604394","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":"Q5747769$1EEEBA12-B7A5-4AEA-B574-6DF89D968586","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747769"}}}}}