{"entities":{"Q2827440":{"pageid":2838178,"ns":120,"title":"Item:Q2827440","lastrevid":44699085,"modified":"2025-11-25T05:19:50Z","type":"item","id":"Q2827440","labels":{"en":{"language":"en","value":"Monadic Sequence Testing and Explicit Test-Refinements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6641136"}},"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":"Q2827440$8CB78890-57A1-4F02-86C3-5F7073F405EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"803c1948f7d3d16abeec63f6520a02996fc8418f","datavalue":{"value":{"text":"Monadic Sequence Testing and Explicit Test-Refinements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2827440$FF8820AA-8131-4B4E-BD7E-825007B36050","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bf90aa649ede1b4cc10d970f46cbb25935537ce","datavalue":{"value":"1348.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827440$74B60817-B6B8-4173-B7DF-BAE8AEA7A5E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d850faf0821e49ad309394050851e9997d8fea4","datavalue":{"value":"10.1007/978-3-319-41135-4_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827440$15C3A6CB-F76B-41CC-B30E-E2412051D4DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b3f2efcf958b40022b60d5ff3169a1615bdabb","datavalue":{"value":{"entity-type":"item","numeric-id":470023,"id":"Q470023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$6EFEB71C-A2C4-4741-A2D4-85DB9782B7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d75dcb945540c248584601b42ebed5a2d66b5a","datavalue":{"value":{"entity-type":"item","numeric-id":470024,"id":"Q470024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$7EB95B5F-6356-4782-98FC-0DDBFF92BEF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b59ea210f3608c8a62a77244182313fd466f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":2827439,"id":"Q2827439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$ADC61FA2-DCCC-451C-8CD8-BE25D82E1D9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1535619fd8f94633f3128b0ce8819699cf6d5d0","datavalue":{"value":{"time":"+2016-10-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":"Q2827440$F9855859-D63D-4E80-A2FC-6C8A581FA6EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61ac037a69dff358aaa7e9d26800aee31fa23021","datavalue":{"value":"http://eprints.whiterose.ac.uk/99230/1/brucker.ea-monadic-sequence-testing-2016.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2827440$87CE2942-79C2-4EA4-A7DD-E7B53507E2DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827440$C5376C95-4ED1-4B6A-829C-10F29C37E8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827440$6DE5B6FB-BDE4-4AA0-9B68-17A46BF661EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec205d2a36b16d41f3ba25d4d5fd2811c25d44c4","datavalue":{"value":"6641136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827440$BFAF1ED8-E8C0-4C3D-8BDB-DC6085DE5079","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0a98de842435d48d9efe37385764a3a8c1bd4e","datavalue":{"value":"monadic sequence testing framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q2827440$7383F385-63C3-4E7F-B485-FB87A22F9624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ddd1a7f6d48dbcb8cf4ced3b73b101a23374886","datavalue":{"value":"HOL-TestGen","type":"string"},"datatype":"string"},"type":"statement","id":"Q2827440$741486CA-C4FA-4E65-8749-8CE3F2E16D80","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$D6276855-3854-4666-88C9-F317C1823DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1595f2d79aa344eecd2a820a28ca6ef87118be0f","datavalue":{"value":{"entity-type":"item","numeric-id":25177,"id":"Q25177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$3675CC35-091E-4E6D-BDBF-796E26F205AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$139A6DE8-2EB4-421F-AF85-1179B8C349BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0d73b7a66c046be888f26faeb5ba8bce261b6bda","datavalue":{"value":{"entity-type":"item","numeric-id":29573,"id":"Q29573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$5CC51DC5-93C9-49B0-A4DF-96EFCD0768E3","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":"Q2827440$32175018-7282-4BDB-BE80-E95DBCF365DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c1c32c7713a3b3dded557263d8175c20a807b4c","datavalue":{"value":"W2352263148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827440$0E849F9C-2C88-486C-9A70-468CCFB8DC63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$1781EBD4-5DA8-4E2B-B5A9-295C28422F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec369af61cafd1faf245c56d6a4ddb5bac9a0a41","datavalue":{"value":{"entity-type":"item","numeric-id":5423867,"id":"Q5423867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$39210D0C-3F35-4043-907E-3698275DE633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565374d145e697f1ac73da4e9c94e76c8cf9d04e","datavalue":{"value":{"entity-type":"item","numeric-id":470025,"id":"Q470025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$4E0F4885-A300-4767-A779-807D25A80BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$659C35F9-1919-4AE1-85D2-D260FA6C1794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639780cd27dafce4bd11843e7ad6d2329958ef36","datavalue":{"value":{"entity-type":"item","numeric-id":5408448,"id":"Q5408448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$B4B44737-089A-488D-A54E-A5F4BB3EA2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bffe03e8f71a8ccd00693a6ac76deaadbad012b1","datavalue":{"value":{"entity-type":"item","numeric-id":769896,"id":"Q769896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$A68F7917-994F-4FFA-9EC4-7B7D3FF47E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d3c4371d3227c7c5251d2c7dac9cc00b0d0f19d","datavalue":{"value":{"entity-type":"item","numeric-id":5541342,"id":"Q5541342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$C931C26E-D1A8-4BF5-A004-398A3C52AA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e01880d38949a69b079dfea2323e7c4fd56c6be","datavalue":{"value":{"entity-type":"item","numeric-id":5179362,"id":"Q5179362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$1183B137-C623-4311-B1A8-34E9CB97989E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f012ccc74f5ca39fea93429d99019c7b08112cc","datavalue":{"value":{"entity-type":"item","numeric-id":2900182,"id":"Q2900182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$BDCA23BD-854E-435D-8412-15203FCC7565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$DBE01FF7-963A-49F5-A353-1BC9215A539E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eccb15c795f225d6dc76ba3ce974d8b0db40992","datavalue":{"value":{"entity-type":"item","numeric-id":5716876,"id":"Q5716876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$6AC5370D-9197-4CCE-9A30-AB1901D41745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d1339d549b96e80a33fa65a771c80afc759cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4896913,"id":"Q4896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$DC041C96-1931-403F-91C9-6DECE20F6887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f6fee60295442cfcddf5242272ad1442239d1a","datavalue":{"value":{"entity-type":"item","numeric-id":2894292,"id":"Q2894292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$5D94A75E-7384-48C1-9E0D-657CED6AA655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b78cda30b8bf7bbc1e02364c4dd5fa066a61862","datavalue":{"value":{"entity-type":"item","numeric-id":4279255,"id":"Q4279255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827440$AF230CCA-9B39-4FEB-BFFC-E3909EFC9157","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b797b4f4b7c8fe87b3466db03ba25f09c7c1b20","datavalue":{"value":{"entity-type":"item","numeric-id":1646607,"id":"Q1646607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abbb927d0186cfe724a66fb328e13ee0a7322e56","datavalue":{"value":{"amount":"+0.87818","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":"Q2827440$66A78DE8-33BA-40A3-BE1B-D901E11629B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f08f45d9e7056e96ec5a16090d6f5caacc2182f2","datavalue":{"value":{"entity-type":"item","numeric-id":4736996,"id":"Q4736996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72ea98953092d812fbf10e1bb1835e61094bbd0","datavalue":{"value":{"amount":"+0.8684866","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":"Q2827440$BB13FC62-CD94-4635-8CC9-6078D5838A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37201260dda8637b86b0f772f1d4e29b216e5197","datavalue":{"value":{"entity-type":"item","numeric-id":2873605,"id":"Q2873605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57de95f232a38e41631518aae7b7cf44d11cc544","datavalue":{"value":{"amount":"+0.8650967","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":"Q2827440$E3F5399A-8A0E-4103-9403-704600848A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1eb4086cfb55a47970b1fd7d42b8e5976dea293","datavalue":{"value":{"entity-type":"item","numeric-id":5475787,"id":"Q5475787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f25ac2f6234086605bf0b5bd085aeac44227462","datavalue":{"value":{"amount":"+0.86431515","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":"Q2827440$71E0540D-E8A9-4F4D-AA5D-79A4D96D0A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74747c930fd16f41c41b115f19236c7f065dcbb6","datavalue":{"value":{"entity-type":"item","numeric-id":4982082,"id":"Q4982082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db742dc0a6a915e516dbe2c71056ba8f701bb7a","datavalue":{"value":{"amount":"+0.8624353","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":"Q2827440$26D4BDF9-945F-486B-9198-C2BC47F216A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eef6cfa8d366fad70f77bfee7f255e2362b79fa","datavalue":{"value":{"entity-type":"item","numeric-id":5431314,"id":"Q5431314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19a2bbade569a67eaf376a51ef4e54b4e745c2c8","datavalue":{"value":{"amount":"+0.8614402","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":"Q2827440$750D7170-3700-4BDA-BFA0-A3A5DA29348A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da55b4285176fac881a66bac33c66b462b58d04d","datavalue":{"value":{"entity-type":"item","numeric-id":4727403,"id":"Q4727403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f731be91f9aef23e8927cfc5c86bede6b5a2d492","datavalue":{"value":{"amount":"+0.8572576","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":"Q2827440$69657515-5462-4F64-A976-1F5852BD893D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a307029137dff4ea2ff32df601b7fca7ec09796","datavalue":{"value":{"entity-type":"item","numeric-id":3646165,"id":"Q3646165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e778222d154a41c632fb4403ebb2a0f09c6d3a7a","datavalue":{"value":{"amount":"+0.85594773","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":"Q2827440$6B7941C1-B8E0-475F-A868-811626A95CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0b077a05f43e46ebb20a054225d3119e45453e","datavalue":{"value":{"entity-type":"item","numeric-id":5168878,"id":"Q5168878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42937cd407c9eb4835584579c629fbbf126d543a","datavalue":{"value":{"amount":"+0.85286486","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":"Q2827440$1081DE3A-01E6-4FE0-9DE4-0A8DCE360661","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2827440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2827440"}}}}}