{"entities":{"Q5894359":{"pageid":7932997,"ns":120,"title":"Item:Q5894359","lastrevid":51371612,"modified":"2026-01-17T23:33:46Z","type":"item","id":"Q5894359","labels":{"en":{"language":"en","value":"Team logic and second-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977316"}},"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":"Q5894359$50872005-F9F5-434E-89FA-D620862531A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76ee65f2b4136bda194aa1dbb5e49d18f1f43c91","datavalue":{"value":{"text":"Team Logic and Second-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5894359$78489094-4524-4C51-ACCE-3A08DB3093FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2280195b4f5679d140d39df0e304a74f4411ea82","datavalue":{"value":"1250.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894359$0B18FABD-EA33-4188-ADEC-33FF8EB31C72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3b46700cd3e179b45dbf77dcf689300966db7a1","datavalue":{"value":"10.3233/FI-2011-386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894359$38D1AD55-2E21-4A06-B667-DAB3BF1AF28D","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":"Q5894359$8A6D5EF5-787D-47CE-A519-87776ECDE65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69451d8ad0e76d4d785ce89104c6cd0b9a34600b","datavalue":{"value":{"entity-type":"item","numeric-id":3100166,"id":"Q3100166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894359$6F75531A-0D22-4311-9EE2-65B11A5EA666","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894359$93D64C5E-550C-4456-8902-81824535C41B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d06d6de084d6566994eb3940381939ab0e2877d","datavalue":{"value":{"time":"+2011-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5894359$DABE1E62-F9E8-439C-B5D9-2F051EFA10E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894359$4DB4C296-79D3-41E5-8322-537ABDB3893B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894359$C1BF4828-7A09-4394-88B7-17080503942E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f04e148d8a8cc5e19a43cae5135332fe40dc115","datavalue":{"value":"5977316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894359$0347CB84-7A52-460D-BFEE-91309C9791C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894359$3870B921-8F51-4D51-99DF-AA98BB2FE8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce773bc9ef477b0136da990c3be54abc9eeb6614","datavalue":{"value":"team logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894359$9D0AB46A-646E-49F4-BB3D-17CD134351EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4ce07e26cf468d73e71922bb295a4ffea5ac1ee","datavalue":{"value":"functional dependence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894359$83464D65-5CD6-4778-B3C6-448BB2553616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894359$534ECB9D-3060-4CF5-86EC-9AEE30C0D72E","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":"Q5894359$39104EC7-0BE3-4074-AAD7-E07FCDD47C64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cca0c8d41b78077cd4b2c410586339b52967746b","datavalue":{"value":"https://doi.org/10.3233/fi-2011-386","type":"string"},"datatype":"url"},"type":"statement","id":"Q5894359$07C183BE-511C-4AF5-AE36-50832EBFB196","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4776e9cc599e89a9b865ef147b4c3e25365a7971","datavalue":{"value":"W3022736242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894359$36574C9C-7F5E-47E9-8D4D-F1EAB05255C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ff349533e2b5b0d0c2b24c64574b9d3d2268d6","datavalue":{"value":{"entity-type":"item","numeric-id":5902156,"id":"Q5902156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0883c57c33015ca71aa64eea03a938cd4a463515","datavalue":{"value":{"amount":"+0.9978917241096495","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":"Q5894359$4533DFC5-B52C-4F92-8871-4327653E3E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc08ef1141dbd06faed3c73b69c0071c4d439c12","datavalue":{"value":{"entity-type":"item","numeric-id":3574474,"id":"Q3574474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e6ed017072c953737eeb15d2c6c4733fdefe8d","datavalue":{"value":{"amount":"+0.8377528190612793","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":"Q5894359$9E6E48D7-D2BC-422E-B2D5-131E583BD1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1bb557a4104a9bab6eb505387d005fd50e70588","datavalue":{"value":{"entity-type":"item","numeric-id":2958518,"id":"Q2958518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5886fa540ba03fc67b873f6aa0189b004ddc34b6","datavalue":{"value":{"amount":"+0.8094723224639893","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":"Q5894359$77463419-2031-44C5-B2A4-E90BE2470B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b90c686ff31d0854c9e0762931690c8a57ded3","datavalue":{"value":{"entity-type":"item","numeric-id":1956373,"id":"Q1956373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4835a485350a5191f1a8b7d156dc9119c0a3ad89","datavalue":{"value":{"amount":"+0.7878142595291138","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":"Q5894359$90AB82B6-2B49-4BEA-AF7A-690B8EBF59BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f24b48c168f25ce380ee83bbe6e909731569f0","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f48108d018a9ce171514b328c5afb7ad5ddec24","datavalue":{"value":{"amount":"+0.7771632671356201","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":"Q5894359$9CBE98DE-1816-4927-851A-5DD267C05D62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5894359","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5894359"}}}}}