{"entities":{"Q4608623":{"pageid":6638206,"ns":120,"title":"Item:Q4608623","lastrevid":58293135,"modified":"2026-04-04T14:41:43Z","type":"item","id":"Q4608623","labels":{"en":{"language":"en","value":"Decidability of predicate logics with team semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851893"}},"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":"Q4608623$58C2D6A8-6F00-48CB-8A1C-F90F0F45E4CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7282d7110fb99c9543abefe76b5bd436b2dbc970","datavalue":{"value":"1398.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608623$E3B01652-341B-4769-9C6C-DAB664488F29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6c92a6d1e244ef6727f00b02d0236f9547dd35","datavalue":{"value":{"entity-type":"item","numeric-id":269505,"id":"Q269505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608623$B2BB8C5B-90EF-4B01-BBA5-E95F97CFD5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5701ad4194f8eb6060f36ec886e2cd63ec21f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":259070,"id":"Q259070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608623$7C3EEB22-5D1E-489D-AA66-5C27297DDF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a68336f23ccd8dad5714debd99f0e6466c9d2a","datavalue":{"value":{"entity-type":"item","numeric-id":476185,"id":"Q476185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608623$A01A3F20-9BCB-4671-8A6A-B8CE5E38923D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-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":"Q4608623$10A3529B-FD2B-4A6C-B04F-76B508B05384","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"651bf2934b074827857f62be89c778b7d1ff2229","datavalue":{"value":"https://arxiv.org/abs/1410.5037","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608623$2FAF13B8-F47C-4225-8EB0-F6E66940968B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608623$A1A4ED24-EFCD-491F-9388-156EA935F878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608623$E69F188F-804F-496A-9480-3923CF39EAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608623$67189A1A-B212-44F7-87E8-DD49B32C7094","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6a119d8b77972caa1a80d110dcb5f11ae29cd71","datavalue":{"value":"6851893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608623$150E7522-AE00-4AFC-9310-2E0F3E1E54A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608623$008BC017-2184-4274-B87C-738F0116B195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608623$2E9F5B83-82CA-4B3D-BC13-BA753D2069C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608623$3FF58B60-4AEF-4EC7-9CF4-5DD54CBE97F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608623$ACCE6771-7BE1-420F-BCF1-2D5543B9AC71","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":"Q4608623$5288BC87-C0D5-4C71-842A-9D68E57D13FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8c1ac6fd70789439ac7dfca85a3a1fa173a7994","datavalue":{"value":"W2964080799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608623$190C7AB4-7F63-4A1A-8DC4-21B2EB74AEDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75db975a1d6d14b850bea46f1fb6f34e5871e447","datavalue":{"value":{"text":"Decidability of predicate logics with team semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608623$FAD34BC5-BD81-41AC-A737-4E39C8AB7180","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a25880d82adc1ac72f1ac84c8e6b5d385cecc742","datavalue":{"value":"10.4230/LIPICS.MFCS.2016.60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608623$D9DBB125-EA4B-445F-96AD-59A7A7EEE9D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f631d0229a398efbd37a3987d86bc27b692db24","datavalue":{"value":{"entity-type":"item","numeric-id":4608724,"id":"Q4608724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460ca41bc9e79e15c54b12a97dd414b19a965747","datavalue":{"value":{"amount":"+0.8414616584777832","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":"Q4608623$B161E6C7-4F9E-4B41-A19C-A7A573847D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96d5236a3f84460d945f13679068aaa13f04063","datavalue":{"value":{"entity-type":"item","numeric-id":5005127,"id":"Q5005127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa71277c2647c5f5c0cf564afdadf31f93eaaa77","datavalue":{"value":{"amount":"+0.8042467832565308","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":"Q4608623$95D0E85C-06AD-48B0-BA67-2CE891BBE443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b18c673735ac2ce0fd455a53dc21af4373936d","datavalue":{"value":{"entity-type":"item","numeric-id":5919492,"id":"Q5919492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88dc4323e18371a55f6785a80a7cd58e815680b6","datavalue":{"value":{"amount":"+0.8024424910545349","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":"Q4608623$47EDA055-9336-45EE-91C5-0C16A17B9C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37aa06790b9e0a35422b5386d8704342635039cf","datavalue":{"value":{"entity-type":"item","numeric-id":476186,"id":"Q476186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73987148265b485c4f952aac17c0b243b1a8ee50","datavalue":{"value":{"amount":"+0.79343581199646","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":"Q4608623$D67C79A6-D6F0-4C21-97CC-D6CF008192F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e062f942d7b09c91123ceefed72964eaf676c267","datavalue":{"value":{"entity-type":"item","numeric-id":5013879,"id":"Q5013879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6652c628de5fd3675b15ff4e59ee2cdb48a45976","datavalue":{"value":{"amount":"+0.792940616607666","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":"Q4608623$3F9B7276-1F20-4EAA-BBF8-E335DCFA1A36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4608623","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4608623"}}}}}