{"entities":{"Q2209502":{"pageid":2220245,"ns":120,"title":"Item:Q2209502","lastrevid":57647166,"modified":"2026-03-31T18:55:40Z","type":"item","id":"Q2209502","labels":{"en":{"language":"en","value":"Completeness of the first-order logic of partial quasiary predicates with the complement composition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7268811"}},"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":"Q2209502$4C676EBF-DF92-4C2F-88CB-11713DDDB0DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2643fd600ffaf802f3e16462141d62ccdc53465","datavalue":{"value":{"text":"Completeness of the first-order logic of partial quasiary predicates with the complement composition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2209502$2AA59EBF-BE5D-472F-A640-BB01D7A4B930","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1797483819f2b5102f50903cf0ce113c24710823","datavalue":{"value":"1446.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209502$197F7E53-644F-4518-84C4-440137A98D76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5736b10882fcd248ee7728f1c7c88885067ebad5","datavalue":{"value":{"entity-type":"item","numeric-id":271899,"id":"Q271899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209502$7B2C3E0D-5770-44C0-9DB3-CBA65BDB1B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2f1b8ebc60dafb6cd7b81b19296362605e91b94","datavalue":{"value":{"entity-type":"item","numeric-id":2209500,"id":"Q2209500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209502$41E41C78-AC34-48BA-95E4-EDCA6B48FA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9837a4cea49a21e55d982ee5f08632887cc7e4ff","datavalue":{"value":{"entity-type":"item","numeric-id":1650325,"id":"Q1650325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209502$37ABC9AF-A7C3-44EB-9B0E-87162EC1FAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28d1689dba5e2a036c0007e875375666473a273","datavalue":{"value":{"entity-type":"item","numeric-id":2209501,"id":"Q2209501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209502$4E66A01C-FA63-42AA-95B2-6EECBEA0426B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e919ee3e1bff25d5819a92667748233ad0caa11","datavalue":{"value":{"entity-type":"item","numeric-id":203304,"id":"Q203304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209502$96469700-1035-4CA0-A1F3-CF68AEE190B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4011c0437b0c50916bbdc1f2b0514a4c041c71e0","datavalue":{"value":{"time":"+2020-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2209502$099ACF04-95D4-45FD-AD92-1B78BB189036","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14f1c254d21f6e657d684390c81dfe01eddea351","datavalue":{"value":"http://www.math.md/publications/csjm/issues/v27-n2/12972/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2209502$580A3EB9-88F7-403A-B976-10F60900731D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209502$E09525B9-A28B-47AE-BA22-AF014E55C2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209502$15992A1D-269F-40EE-9E78-CE969FAB24ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"956b09f92c3e628687bad99884b80134663a698d","datavalue":{"value":"7268811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209502$6669B2CF-8040-4EE4-95F8-2B4BE0F1E1FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05574b04e6b96f7e4fb1b0d4760833d0f74ef46c","datavalue":{"value":"partial predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209502$25170039-9548-4AC9-A746-1B3734BE09C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e04251e5c01eb926679a251fafa7e5bd8d3b067","datavalue":{"value":"quasiary predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209502$7C9D1610-2801-4A3C-8E48-78FCC8CEE146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209502$A4276A12-38FE-4C7B-890E-D97C6E571DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209502$F0001E8B-2657-4150-8B15-08CAC84BB7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209502$DFC32B19-CB50-42F6-8ED0-3B090ECCA122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209502$502269E8-5B48-44E3-9C8A-AC10C0A5A5E2","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":"Q2209502$82AC4156-CD78-41AC-B8CA-31ACED13B2E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea1b3a2bc2690eaa561e4e01bb7bcf551538651","datavalue":{"value":{"entity-type":"item","numeric-id":5365463,"id":"Q5365463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f03ab9ce0255b4d77a9210f177de4f14e747d8ce","datavalue":{"value":{"amount":"+0.861923098564148","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":"Q2209502$FDDA8ABD-FA56-4C4A-B4B0-C924F7DA5165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab278cd8c5010a4b649eac75e4f16e350bb3f06","datavalue":{"value":{"entity-type":"item","numeric-id":2247805,"id":"Q2247805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fbb9280e0a8b5dbb2d9ed015d01ad3fa1ab7c9f","datavalue":{"value":{"amount":"+0.8171289563179016","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":"Q2209502$D7964C4C-E44C-4667-86D5-205A081DB779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d27b98db0497a6922cef3993016da655296e9d3d","datavalue":{"value":{"entity-type":"item","numeric-id":1650326,"id":"Q1650326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34cf6c125c56880fe2defc81496da3507b10a060","datavalue":{"value":{"amount":"+0.8095731735229492","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":"Q2209502$E80F5502-A90B-4E48-9B07-5566EA3CE9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd04616c11db1fc6218d675165ae478d37a4e440","datavalue":{"value":{"entity-type":"item","numeric-id":2850352,"id":"Q2850352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9615388462860d30922d6ae358a7a3b2a858cb2","datavalue":{"value":{"amount":"+0.7988930344581604","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":"Q2209502$EEB060CE-E3AF-4C59-A982-6C1D38AAA077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9568c6f6606aad22cc62039024880dee53ca12d3","datavalue":{"value":{"entity-type":"item","numeric-id":2850367,"id":"Q2850367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d26ccc4e412b2787863c1bab91175a1c1dae342","datavalue":{"value":{"amount":"+0.7972249984741211","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":"Q2209502$6B0B158E-2CA1-4F33-B3DF-FF0EFCD67222","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"601a8be25209c46f574d1c22a38bee2246bce6f6","datavalue":{"value":{"entity-type":"item","numeric-id":57078,"id":"Q57078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209502$24DA3DEE-0261-4DEB-842B-84549AEDF0D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2209502","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2209502"}}}}}