{"entities":{"Q3169503":{"pageid":3180213,"ns":120,"title":"Item:Q3169503","lastrevid":86587841,"modified":"2026-06-04T01:50:54Z","type":"item","id":"Q3169503","labels":{"en":{"language":"en","value":"Resolution for quantified monosigned formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5951905"}},"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":"Q3169503$8884C199-3914-466B-BD1A-7E3AC661B189","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19c68b4a1973c255cd36b7e2a268acb2e2d861ee","datavalue":{"value":"1240.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3169503$C396CFD1-D1B3-4F6B-832F-D019FABB66FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f0e1cf1c1681b05d028494b6c6378c490ceca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2118306,"id":"Q2118306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3169503$0910FFD3-FF75-43AB-93AA-EA7A4D3B785C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec92be1486ae17f71ec404a7412ad04344028005","datavalue":{"value":{"entity-type":"item","numeric-id":162005,"id":"Q162005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3169503$DA1F19A1-D8A2-4B31-BE7E-92541C0E1E93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"599c6031b0181d5c9d08340abe4902ef51ccd26c","datavalue":{"value":{"time":"+2011-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3169503$484CEEA9-C752-4278-A7EC-0132CE3B1415","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3169503$F1DCF9F4-289A-4C82-A611-BDC3BCCD389C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3efa64dedc50a0f138b3ec24e07be92807e2ce6e","datavalue":{"value":"5951905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3169503$31795793-E11D-409A-91EE-14CD3D757867","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b59d6dd711fffd586141b9c051290ead23251789","datavalue":{"value":"quantified monosigned formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q3169503$FBE454A1-E51F-4635-B863-5684B1A64C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3169503$C4B78E08-EBC2-49FD-A399-B16EEA119563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3169503$6DCBBB63-8EB5-4AD5-A8A8-FDD1BEC6BCB7","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":"Q3169503$C15BA49F-CC15-4BFA-AB70-6F426BF00D69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c7d64802e915fd50b6290bfb90618728b9ceb7","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f995b702caa1d92a4bc68ab9d8b57aabef9fd4","datavalue":{"value":{"amount":"+0.8244151473045349","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":"Q3169503$A50FBA8A-4075-400F-BF99-B5DBD66DCFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62c79a068b58ae88207b93c2f4c580ac15af758","datavalue":{"value":{"entity-type":"item","numeric-id":3006475,"id":"Q3006475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce1b97d81e1b241d4e745572cb05c4a4b7ab218a","datavalue":{"value":{"amount":"+0.82395339012146","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":"Q3169503$CC840D9D-235E-4A78-AB26-8781D1989E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edcd4b9a23103ae0e3a8ef4d77f50344631b00fc","datavalue":{"value":{"entity-type":"item","numeric-id":3765263,"id":"Q3765263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d608f9f99ab895954774d6ab5c89405b711ace0f","datavalue":{"value":{"amount":"+0.770934522151947","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":"Q3169503$27134983-AAD0-4ED0-9373-D92BDBC7465E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"295eacd5d3b86ddd32e0b401d6a1ad02be5bfe37","datavalue":{"value":{"entity-type":"item","numeric-id":808295,"id":"Q808295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98812440857e518a13a81c6c6f8099b4ba7e40b8","datavalue":{"value":{"amount":"+0.7682960629463196","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":"Q3169503$5E0DB6C7-B074-4FDA-9773-E6E19644E318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4732629a4972652d98f4bc9874c86637a0c91c78","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cf1f92ebcb2d250cdfb7b1042cf49373a4960c","datavalue":{"value":{"amount":"+0.7669233679771423","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":"Q3169503$3F53D866-A53D-4246-A304-A00B37642A97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Resolution for quantified monosigned formulae","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Resolution_for_quantified_monosigned_formulae"}}}}}