{"entities":{"Q4487264":{"pageid":6516863,"ns":120,"title":"Item:Q4487264","lastrevid":47479519,"modified":"2026-01-01T20:47:15Z","type":"item","id":"Q4487264","labels":{"en":{"language":"en","value":"An analysis of empirical testing for modal decision procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1463112"}},"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":"Q4487264$D76C142A-921D-40A2-8B98-AED9F10D3A5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f2cbb3823d579bdb9aef5452710e124b6b0f235","datavalue":{"value":{"text":"An analysis of empirical testing for modal decision procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4487264$DF337F2C-C254-4A5E-8911-CCC475359EAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c736e758ad9de96a51c37ad79c53efe4719e2470","datavalue":{"value":"0947.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487264$A991FE02-F9BD-476F-B419-B8BED7F01367","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93b787c151653507489e8a5af88ca1b96d25a0b4","datavalue":{"value":{"entity-type":"item","numeric-id":438565,"id":"Q438565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487264$10DA3F4E-C15B-4CB1-A77E-8900FA07395B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ead71bb496cbcb553019c9478b7d6a0b70e1c59","datavalue":{"value":{"entity-type":"item","numeric-id":1115427,"id":"Q1115427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487264$AE307F3C-12CC-4A35-A9CF-27B2122A462B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd5a076641129df5baba24779caed9dec893447","datavalue":{"value":{"entity-type":"item","numeric-id":511776,"id":"Q511776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487264$61231647-B903-4761-BA55-C4CEFCD6EBD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce7843932412e0d5c566f14bc25dfa7a3675a659","datavalue":{"value":{"time":"+2000-06-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":"Q4487264$B8D7D9C4-4A33-4222-9390-BD037881BB36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487264$3DCED762-5387-4A30-92DC-F55C6FB9EDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487264$2C3C63E3-D303-409C-8592-BFD3D7A0C560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487264$9B63E693-9046-4761-9EA6-1A9B7778B46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487264$2433CA91-C56C-41DA-8F04-27C008BE6B64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"411943d6e95e2554ad61b259b90fc93ec1825383","datavalue":{"value":"1463112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487264$FF655721-D420-471B-89D5-E8E9E871CD54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a41915caf4f9d72a9e93eaa4c54d3c0593167805","datavalue":{"value":"modal decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487264$02C8B99E-D051-4586-A21D-A1E013A5C989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b20902538c58aa9371e467a87e9ab5c981f90339","datavalue":{"value":"empirical testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487264$C2CBC004-8CED-49F3-9B54-AB9872C7F70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487264$29954D34-B6A6-4CD4-9FBA-A8922D5C6E69","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9c5e0741386db5544b604ac150c771bd2ac0b3f","datavalue":{"value":{"entity-type":"item","numeric-id":24297,"id":"Q24297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487264$21B22E69-5442-4E64-BF46-1F545E7F5826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5c36222bb9a591f98e2043db31a25ee5a230d02","datavalue":{"value":{"entity-type":"item","numeric-id":16334,"id":"Q16334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487264$A9D68AFC-8D3F-4D38-B1A9-0047F9FB40D4","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":"Q4487264$09CF91DB-8F29-4F94-AF1A-28628454940C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8a9b735cffdbebce9b37d10a366ee17d2d3cd01","datavalue":{"value":"https://doi.org/10.1093/jigpal/8.3.293","type":"string"},"datatype":"url"},"type":"statement","id":"Q4487264$7A15F5BD-192F-4425-93F5-CBA566C9121E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0c9778c596dde6f44c4990eac820ff5ca987de3","datavalue":{"value":"W2139460891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487264$F06F25B3-ADD0-45E5-9DC9-10B4710AC771","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dc7b221e7663f225f60d9d7c9e9bb1e22474b6d","datavalue":{"value":"10.1093/JIGPAL/8.3.293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487264$15DABDC8-C2A2-4AC5-A95A-82147E8C17D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487264$AF57774C-AAB9-45C3-ADEA-7ADA89C75D02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22174a29eb70c9d45701bf4c9f18cc26e322cc32","datavalue":{"value":{"entity-type":"item","numeric-id":4411160,"id":"Q4411160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c722ceac549ea8d29cd2b526845b4d70215c2860","datavalue":{"value":{"amount":"+0.8550513386726379","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":"Q4487264$C3BDDFA2-FC26-4CA5-874C-0DEC44B4B44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e310abea70f73e79039b5e1ede2952ded454c4","datavalue":{"value":{"entity-type":"item","numeric-id":2751043,"id":"Q2751043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"924f1f3d8976804a52ab4e98d3fbf954022633d8","datavalue":{"value":{"amount":"+0.8015301823616028","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":"Q4487264$DECDC039-29A7-41E7-949C-99CA174E8DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e272ad52d0da9b56c44c773fba787faafb475454","datavalue":{"value":{"entity-type":"item","numeric-id":1610668,"id":"Q1610668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86cf30d48edf0ffb79aa072fe1ba1be537c88171","datavalue":{"value":{"amount":"+0.7999204993247986","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":"Q4487264$FB19C9A0-7585-477E-A445-CBA37E357063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961b0f31bd62392ce3a17b7af6f85a3593277879","datavalue":{"value":{"entity-type":"item","numeric-id":4647549,"id":"Q4647549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0534ee9f3636866dc71a1bbd4e0a9895264f94ce","datavalue":{"value":{"amount":"+0.7920787334442139","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":"Q4487264$756DBB38-39F3-4C96-99FC-7BAE967E4E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18dd60e57dfc1f26dac213ff2121d626f4d8d30f","datavalue":{"value":{"entity-type":"item","numeric-id":4443408,"id":"Q4443408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a203d170f8f8b5da34f88155402c5710e89d501","datavalue":{"value":{"amount":"+0.7774609923362732","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":"Q4487264$4EA94089-1216-4B4D-9A01-FF76AB6241CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4487264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4487264"}}}}}