{"entities":{"Q3466594":{"pageid":5246602,"ns":120,"title":"Item:Q3466594","lastrevid":80541149,"modified":"2026-05-06T16:26:03Z","type":"item","id":"Q3466594","labels":{"en":{"language":"en","value":"Extending metacompleteness to systems with classical formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6538189"}},"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":"Q3466594$45519628-F8CB-4048-A070-39F265A27D04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdc92526c8c70d8c22dd18f6cfc3dabe0c827d6e","datavalue":{"value":"1330.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3466594$51D31F9F-6031-4528-8DF2-197924FA4557","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e034c4c69fbe47b255b2c4d4cdf43d1c720ffac","datavalue":{"value":{"time":"+2016-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3466594$6FB72571-3049-4DDE-9036-9993FC5EBDF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a6234f05ec4ef743e104d4ef6682f424fac8e9b","datavalue":{"value":"http://ojs.victoria.ac.nz/ajl/article/view/1811/1661","type":"string"},"datatype":"url"},"type":"statement","id":"Q3466594$A7F59D99-BE0E-4F52-883C-BDAAB690F590","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3466594$D6D36088-BA85-45DA-98D3-5151ED793DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3466594$938AAAFD-1B41-4644-AD26-B9C31E09C1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3466594$8D39CF19-B220-48AE-97B4-0C0415B8BB66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6bfc3f7baa2a32f491e0537cd5b7d7c26ab585b","datavalue":{"value":"6538189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3466594$6332B370-56DE-4190-8EAA-3BF475748DC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"060dc3e106d66cc44f22efc44a693dddc7803517","datavalue":{"value":"metacompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3466594$4578FDFD-46DB-457B-90CC-08AFBD0C323E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa4283dc6ccca6c1701835f33fb70287290ec323","datavalue":{"value":"classical sentential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3466594$068B362E-7AA0-46C7-A311-33E02985CC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"088e75859908db64cc8fc861212ee6c495fe5a69","datavalue":{"value":"quantified logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3466594$39FC8922-666B-485D-BA6B-5E2B6819FAA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3788d8eb15a23fa0f90cdf206746b1b67d371a9e","datavalue":{"value":{"entity-type":"item","numeric-id":484103,"id":"Q484103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3466594$0D44A1CE-D807-45C9-A78E-10D162BB86B4","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":"Q3466594$46744233-EF6E-4A97-9F78-CBBBFAF77169","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28bdc79557cd2edf6ee29e757de8f2027807c5fc","datavalue":{"value":{"entity-type":"item","numeric-id":4812323,"id":"Q4812323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba40e0dc04724a1b7f4015b23c7f8a563c26560c","datavalue":{"value":{"amount":"+0.6925668120384216","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":"Q3466594$B7D4226F-5F0F-429B-B860-47FDDCBE1057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d29feaccf2592f096be6830e1a5405d4fbf194c7","datavalue":{"value":{"entity-type":"item","numeric-id":383574,"id":"Q383574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"847f0fe1393cb5bfd415c744930496664dc9831c","datavalue":{"value":{"amount":"+0.6906970143318176","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":"Q3466594$9570553D-E22C-4124-B068-F7C981203FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25c795a016760362a88d11b8efe34cb89d9ba07e","datavalue":{"value":{"entity-type":"item","numeric-id":3305618,"id":"Q3305618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b426efd4d7e0253f9b055bf5d6a7fcfdff84f9b","datavalue":{"value":{"amount":"+0.6872186660766602","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":"Q3466594$C408959F-279F-4621-A30E-EA679709A787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c519382933879989610d47983518bc1d58c7d65","datavalue":{"value":{"entity-type":"item","numeric-id":3358704,"id":"Q3358704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3ebea0e6837e7e946aa3da661137be4f35e7b08","datavalue":{"value":{"amount":"+0.6843989491462708","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":"Q3466594$652CACA5-D93C-4E87-AEA7-685D11EA43EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07fb3a748ff0e6f0b68ddb4b34fc34e708484d7e","datavalue":{"value":{"entity-type":"item","numeric-id":3360158,"id":"Q3360158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56ca9045902516b78ddd15227d80c221655cccf","datavalue":{"value":{"amount":"+0.6755586862564087","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":"Q3466594$261CDC48-6239-4D65-8964-0805DD3A9E5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending metacompleteness to systems with classical formulae","badges":[]}}}}}