{"entities":{"Q4973849":{"pageid":7003428,"ns":120,"title":"Item:Q4973849","lastrevid":98409785,"modified":"2026-06-05T17:27:12Z","type":"item","id":"Q4973849","labels":{"en":{"language":"en","value":"Testing Read-Once Formula Satisfaction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7140803"}},"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":"Q4973849$2A6DA6E0-C23F-40BF-8E8B-EACD93B3FD03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebf43c46bab47ed40955631e4d5d8d6cf149d4f2","datavalue":{"value":{"text":"Testing Read-Once Formula Satisfaction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4973849$52028B45-D2F9-4FBE-B6F0-16A60614602A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c6081134c1697cd7a37d6d4e61df42d6e0aae5d","datavalue":{"value":"1427.68358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4973849$846EC8F0-63D4-47C5-886F-2648077CA3E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35c2b5c5b59ae69f71ce8050fd8defaf46a4c577","datavalue":{"value":"10.1145/2897184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4973849$2BBDFDEA-E4DB-4FDB-A538-07ADE33B1A1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95375ab593e764f82a2af7d2dbffdda71fec7ce7","datavalue":{"value":{"entity-type":"item","numeric-id":178699,"id":"Q178699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4973849$BDDA3096-A276-48D5-B2A5-CBC35622CA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0369995952e08d3bb4df24159095d7e261cbf5ec","datavalue":{"value":{"entity-type":"item","numeric-id":2851884,"id":"Q2851884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4973849$53FFBC54-5F59-4645-AE58-A85F07FE1B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c429a5b37184366f6686184c29ed0c4ee339ef63","datavalue":{"value":{"entity-type":"item","numeric-id":260261,"id":"Q260261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4973849$7AB8053D-E7A1-4B7A-874F-88C9A3DC9926","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64bbaa3c401dec878328d8d72c14b0373fd9aac2","datavalue":{"value":{"entity-type":"item","numeric-id":92716,"id":"Q92716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4973849$50DC64F8-6C09-480F-8EFE-EFA006CAEC30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"172a3fac4a57b71b2c0e5dd0c89e56be18cd3b6f","datavalue":{"value":{"time":"+2019-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4973849$5B0D1782-A5C4-4B91-9434-BEBB4557EC72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a081ad338dfa048ee5f3a71bddc0e03b459a2b6","datavalue":{"value":"https://arxiv.org/abs/1204.3413","type":"string"},"datatype":"url"},"type":"statement","id":"Q4973849$71ED92E7-42A6-4E3D-818C-1EC49E71F8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"77b518b683d205e6fcd66143ee61b6d70e169ae3","datavalue":{"value":"https://eprints.bbk.ac.uk/id/eprint/14832/1/TFB.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4973849$5CD831CE-BC38-4E4D-9A54-87A95C67901B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4973849$BA3DD7D9-2961-4F46-8BED-5060DDEB6172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4973849$DBD4520D-9F60-4E7A-8F63-F708D9C9279C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4973849$44C3E3B8-E495-4BAE-A193-426715ABF06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4973849$60B7436F-08FD-496B-955D-DA1CF2FC22E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"edeee83ea5b5369871bb562cb1735e176a068020","datavalue":{"value":"7140803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4973849$29F612CE-1F22-409E-B76B-D3ECBA030D60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5976a81dd39c5194422ae0e3a7254730b74b1bbe","datavalue":{"value":"massively parametrized properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4973849$DFDEB6B2-A1EC-4929-B746-71B53C110E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74b1607241b13bd5f40b3641b7789c877213db7b","datavalue":{"value":"property testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4973849$27A456EB-2787-45CD-A5D3-F67019D4C1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e12d23dfa3bd80e05682f6293416b97ba7c2b334","datavalue":{"value":"read-once formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4973849$E2CC6851-2C60-45E7-B715-7A80C1456816","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":"Q4973849$D0C53143-A9F2-49E6-8C9B-D5EBF765AB62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbd3fa553b31d64275a77ec7e2d187c8c1f6223e","datavalue":{"value":"W2344430257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4973849$BC528F8F-6689-4D88-8DA5-5C40D29D2F86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42dd7ce07f4a0ada0dcca144aa9fd2ca71eaba77","datavalue":{"value":{"entity-type":"item","numeric-id":2904572,"id":"Q2904572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97561f4986d492a7eaf3edb9b533135f65ab88c6","datavalue":{"value":{"amount":"+0.90228784","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":"Q4973849$B28FAC20-CEFB-4FE4-B4C4-C4D3B2153E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a87f262d103f70399b041683922b63c0cd637b6","datavalue":{"value":{"entity-type":"item","numeric-id":5497117,"id":"Q5497117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dedf7ca7315d8084e2448cf5bfa9a2e11d233a41","datavalue":{"value":{"amount":"+0.86323285","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":"Q4973849$300BCA2D-D85A-4D71-9779-3052F677AB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c2b348022258abcedd081da22a3f7ab6cd0481c","datavalue":{"value":{"entity-type":"item","numeric-id":1759130,"id":"Q1759130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d0631ed527251769711d6649ce158b2d68ca187","datavalue":{"value":{"amount":"+0.8119836","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":"Q4973849$CED47D64-898D-4CAB-AEE9-14E793BEFD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9106bc2d80fbad8d09f9d06c3b6d4d1437f8b6ef","datavalue":{"value":{"entity-type":"item","numeric-id":3111645,"id":"Q3111645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b4222c836c3264ce23d19612d1be4ddaa9b502","datavalue":{"value":{"amount":"+0.79963577","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":"Q4973849$16144A46-E4C5-4D34-B9CD-8AF4B96244FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8d40be1e36298eb9704c2a6c5850ea03b1d57c5","datavalue":{"value":{"entity-type":"item","numeric-id":3300627,"id":"Q3300627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"965ff9b43b087ac044da97fa825b769d73ffb755","datavalue":{"value":{"amount":"+0.7979763","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":"Q4973849$5AF7E474-7657-438C-B107-8874C492C783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e1084847068be94c4e17bff83083222d8db4e6f","datavalue":{"value":{"entity-type":"item","numeric-id":4828996,"id":"Q4828996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f59609938f9d4719e534cae6c908c76328a9f42c","datavalue":{"value":{"amount":"+0.79705095","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":"Q4973849$85C64A22-256E-467E-84DE-AA6AAB1969F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ef1fef65e0ea98071104a186be95bf2bf419b2b","datavalue":{"value":{"entity-type":"item","numeric-id":4337429,"id":"Q4337429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d83d728555624398cd1a8dad7db6ec4ae88d24","datavalue":{"value":{"amount":"+0.7923982","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":"Q4973849$8CA64F4D-E8B8-4F8E-A3B1-8D0CBEBF6C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27caf6ca6c0e30d4e22c5886122b2bcb8eae083","datavalue":{"value":{"entity-type":"item","numeric-id":4785704,"id":"Q4785704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3adee5991ebb1135eb6ba0ae7ca2f33838a66ae","datavalue":{"value":{"amount":"+0.7923857","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":"Q4973849$9E1A935D-2989-4E70-A47A-D99A891B08C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86fed5fdc2849c7ce4b99ed887a3b56057c53694","datavalue":{"value":{"entity-type":"item","numeric-id":3004818,"id":"Q3004818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f256b5e04d673b51f9a477c56f8814b8e39ccd72","datavalue":{"value":{"amount":"+0.77814865","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":"Q4973849$CFFB5073-4218-4FA8-8384-4509B2EC6662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7507f34dfbe91734030aecf756125dcf2168e6b8","datavalue":{"value":{"entity-type":"item","numeric-id":2828215,"id":"Q2828215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb4a08da0c49a25706543710a9d6e6c4cd0dfa82","datavalue":{"value":{"amount":"+0.7766675","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":"Q4973849$5351D899-0B27-47E2-892C-61E72C36A420","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing Read-Once Formula Satisfaction","badges":[]}}}}}