{"entities":{"Q2945645":{"pageid":2956365,"ns":120,"title":"Item:Q2945645","lastrevid":52344290,"modified":"2026-01-22T09:47:18Z","type":"item","id":"Q2945645","labels":{"en":{"language":"en","value":"Foundational property-based testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481873"}},"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":"Q2945645$C367B60D-AF94-41B8-AAF0-C787D44553A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"068d41d4a4af4d90b8b2dd8b025600ba22137ed3","datavalue":{"value":{"text":"Foundational Property-Based Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945645$38E1F758-B14B-4655-A920-EA581D097BD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5fea6d7dfac59bf53c8453ebf48981409de69e1","datavalue":{"value":"1465.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945645$C7B3C3D5-C993-477C-B283-BD47E9BA4B3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b665fce910cdb331bdb88af4feaa72842283cb7d","datavalue":{"value":"10.1007/978-3-319-22102-1_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945645$3BADC84F-ECF9-4584-8E79-79E2CF10E9D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f58bf2e7115000c32a013ce9908b790af2d8edcf","datavalue":{"value":{"entity-type":"item","numeric-id":2945643,"id":"Q2945643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945645$6C44ED34-A375-4650-A6B7-66D554F821CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dca520b2b44c51b0ffb92f2dd255590e5e0e273","datavalue":{"value":{"entity-type":"item","numeric-id":2324195,"id":"Q2324195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945645$38080E7F-CB6F-45B1-901C-FAC6C6090D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"343748d25c380d16ff7d424df96b35bd8fa80111","datavalue":{"value":{"entity-type":"item","numeric-id":2900559,"id":"Q2900559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945645$173FB27C-1E86-43D8-9AB8-6DDFBFA0C917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd0abe3ba0aea1f696b8e4ddf115e74cd4da0620","datavalue":{"value":{"entity-type":"item","numeric-id":2945644,"id":"Q2945644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945645$1ED02D1A-F912-4ECC-BC9E-447A007B2089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99eac199dd442a993b294694241ddae3fe5dfca6","datavalue":{"value":{"entity-type":"item","numeric-id":879362,"id":"Q879362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945645$48100A14-FF32-4F10-9AA9-253D820B507E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945645$B78E1628-F1A9-4982-819F-997B30E352F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-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":"Q2945645$A11FF2F9-CCFA-4FAD-83A3-6F93DA1BCFF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23bdd068df1f03dacd982d729b823e0973a85617","datavalue":{"value":"https://hal.inria.fr/hal-01162898/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945645$9D4F884B-771D-4898-B346-41D658EF5EE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945645$7BAFECD5-8816-4672-A19A-F5C03AF30409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945645$3256C46D-4DF7-44CB-ACEA-5F8B3085EDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945645$29678FD5-7964-4CBD-901D-500A01F44B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945645$61E27663-D783-45DA-901F-E46A9BD4945C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fef167082ec832177e834b91b2fb63297101ad6","datavalue":{"value":"6481873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945645$AFCE78CF-BAC2-4F63-8EBF-96B21D7553CF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945645$AF4127E3-A0AD-4BB3-A332-0473A9686BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945645$6283B03E-27D5-49AC-B470-9C2244649007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a5699a860dd7dc9c732976be3ba437fb61ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945645$19A32E6B-C428-4E30-968F-19C4E8B3A36F","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":"Q2945645$6AABD29E-B6F6-4DA6-814A-08C48A11E2D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29a28a4599d970fdaa06ec56b91e9e58576038e8","datavalue":{"value":"W2396983327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945645$DF02FA2F-5B75-415D-B950-415C3C2FC7CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c857aaf69cf79c87b310efd65fcb1c3f1d2baf0f","datavalue":{"value":{"entity-type":"item","numeric-id":3183524,"id":"Q3183524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945645$40390E74-FDAA-46EE-9E89-3A19B8B52297","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":"Q2945645$365FBE3B-C9E8-4479-8F4F-D977CB1E02A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0e0d2f6f6067cafe5004d11baa83402037d817","datavalue":{"value":{"entity-type":"item","numeric-id":4916054,"id":"Q4916054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945645$9331CBC2-FF55-4329-B563-CF80482B13E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fdea7f2380833e0f3d3fb448c02c9b83e681722","datavalue":{"value":{"entity-type":"item","numeric-id":2891447,"id":"Q2891447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945645$9C208C91-2FD7-4D75-AEC3-7654DC922739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d46b54d0215be5d8e537be5ea32354a2493644","datavalue":{"value":{"entity-type":"item","numeric-id":2900178,"id":"Q2900178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945645$ACD7040F-58FA-4A8F-8335-8BC102AC0BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc4186bcc45ef4d3dab9f6661e117f3e7af1f3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5709985,"id":"Q5709985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945645$2D624089-1684-4418-B8ED-24E13755476C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43f11a5e6fc21caa581e9ac1e35682b1839d73e","datavalue":{"value":{"entity-type":"item","numeric-id":3075246,"id":"Q3075246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945645$B3F3E370-25F9-45CC-806B-13FFCB6E0EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e81bf392252512540af25c8ba38f4cea4434014","datavalue":{"value":{"entity-type":"item","numeric-id":5244824,"id":"Q5244824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945645$CEE5C1FB-D67A-4C06-ABB7-5ECDA9998E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc734969332adab85b3154962e23089626b98e0","datavalue":{"value":{"entity-type":"item","numeric-id":3075239,"id":"Q3075239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945645$FD575252-DABF-47EC-AD9A-CB27CA39F00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25306047135725f913a4f7e74905e97b4e740016","datavalue":{"value":{"entity-type":"item","numeric-id":4916053,"id":"Q4916053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945645$0E3F75C6-3D9D-4728-B1F6-07D0BB632D09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4b2dbfe6ebb3270e2f8dadfff8752a99e2ac1a","datavalue":{"value":{"entity-type":"item","numeric-id":6102253,"id":"Q6102253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19d7eabd4d62d1eef5fceef7f32c29982f71237","datavalue":{"value":{"amount":"+0.7613288164138794","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":"Q2945645$BDD8F502-C94E-4C18-9F71-E03BA0BA69DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9705ea638a572d1a26e493fbcfd802398aace26","datavalue":{"value":{"entity-type":"item","numeric-id":5370850,"id":"Q5370850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4a269fb93365734e6bb3e76178b246ce3d1483b","datavalue":{"value":{"amount":"+0.7214434146881104","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":"Q2945645$EC57F665-7713-4E6D-9870-DA470373786C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"543332a7b5a334c27aaccf6251a556a51f5a3872","datavalue":{"value":{"entity-type":"item","numeric-id":5458812,"id":"Q5458812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a2c78774464d1a2871af70f9c90aec1f403cb00","datavalue":{"value":{"amount":"+0.7047995328903198","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":"Q2945645$1F608589-B754-4713-9A4D-EF90E8E62A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b30a839a0094b26b91cbb835e6aacb32cc37a986","datavalue":{"value":{"entity-type":"item","numeric-id":2233461,"id":"Q2233461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30fa306f63426b185f1f2cbb68128afaa43d187","datavalue":{"value":{"amount":"+0.698757529258728","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":"Q2945645$994204F4-256C-40FE-AF67-F43AC9680635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3a67c67d4c012926c268edac675be709f69b2f2","datavalue":{"value":{"entity-type":"item","numeric-id":1624592,"id":"Q1624592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd25a8bcbec7817557347ba68730a69b81177c5","datavalue":{"value":{"amount":"+0.6956665515899658","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":"Q2945645$9AD8402C-8591-4F2E-A2BE-5C308DE59C52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945645","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945645"}}}}}