{"entities":{"Q1707156":{"pageid":1717897,"ns":120,"title":"Item:Q1707156","lastrevid":43286865,"modified":"2025-07-23T14:13:34Z","type":"item","id":"Q1707156","labels":{"en":{"language":"en","value":"Logical laws for existential monadic second-order sentences with infinite first-order parts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6854410"}},"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":"Q1707156$800DB3E8-9826-4FFB-9B91-360204E3EECC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b7f61f2295f91d95d0ac196ade8f11faa9bf7e1","datavalue":{"value":{"text":"Logical laws for existential monadic second-order sentences with infinite first-order parts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1707156$10F25E2A-B895-4741-9B2D-DAD92149D6C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"394168c73f5814dcd50b1d75fa810cdf5c6b3685","datavalue":{"value":"1420.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707156$1CFDBE4D-8459-4726-B30D-29C47FC296BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e34bf0a856ae9152b81ebcc3b2d90d7dd645a66","datavalue":{"value":"10.1134/S1064562417060242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707156$90898F1B-0F42-43DD-A324-1F6E45E5A063","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"214e732b9ee41b2396f55de0fe64813983a0ad39","datavalue":{"value":{"entity-type":"item","numeric-id":265976,"id":"Q265976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707156$63C98792-70CA-4D49-A4E8-737A3CB0A4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5176418e8473edf84cda7368e4ae61377439f029","datavalue":{"value":{"entity-type":"item","numeric-id":2686090,"id":"Q2686090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707156$2B8E261D-5AC9-4E7B-9B4B-3B8E74AE97DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707156$5A41A2A2-A3A5-46C1-81F1-1AE38DA8457E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3636840c0a59f729d8f693bf0b9a38066b72ec7a","datavalue":{"value":{"time":"+2018-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1707156$EB953DB9-E282-49D5-9282-C4C7FD63A2A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707156$44026D8D-D6AE-4E5E-8814-B8FCABEA91A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707156$4221C944-F719-4B8D-8896-5205C7E3310D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"452a95d35f44102a74d715b25e83366927e66d9c","datavalue":{"value":"60F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707156$6740F419-31FA-42D3-874F-F7B3A1E1C505","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fe69375cef2204eabf2012f66bf47530d9d094b","datavalue":{"value":"6854410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707156$576CB4E8-3292-460B-BF05-39B34ABCBF65","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":"Q1707156$27FB5F3C-3ED4-4C67-8251-064B3F7A1907","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707156$D21059A6-D2BD-4A18-8FA9-09DF6E8D0AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb323a3203eed200505585f88ebee68fb4d2664c","datavalue":{"value":{"entity-type":"item","numeric-id":5262204,"id":"Q5262204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707156$AC888457-87E4-4318-9460-51E99EF67F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcb64ecc40f26522d78aa4932d80380ec33e44bd","datavalue":{"value":{"entity-type":"item","numeric-id":5939775,"id":"Q5939775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707156$15AB768E-6891-4D47-B9E5-9B55B8087F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b07d6ae8072ec0b52d1a52248f558d67752e38c","datavalue":{"value":{"entity-type":"item","numeric-id":2743189,"id":"Q2743189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707156$C6979CE9-EFAE-4002-960D-2991406BFA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28588578bb09af0b4bf0a3281ab6c8d321eb619b","datavalue":{"value":{"entity-type":"item","numeric-id":4519896,"id":"Q4519896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707156$057A127C-3FC2-48E1-A755-333AC9ACBD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a740b6e9e652b2fb5fe827ec941309ed6af62f7","datavalue":{"value":{"entity-type":"item","numeric-id":4108321,"id":"Q4108321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707156$1C1A3B56-5F1F-40C9-B408-781C65BBDE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666440284a477c836e1dc9673229eb9c31b3c47a","datavalue":{"value":{"entity-type":"item","numeric-id":1193591,"id":"Q1193591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707156$9FF3AAC7-A60D-4E99-A412-C66E37997B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab109aff41e40d68910d72146e4e0627a15a5d2","datavalue":{"value":{"entity-type":"item","numeric-id":1066878,"id":"Q1066878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707156$74F45C59-0844-4336-AFF7-E88ACF07FB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688b0cee3c92baa2de2c620b936b2f160eafc18c","datavalue":{"value":{"entity-type":"item","numeric-id":1607080,"id":"Q1607080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707156$B2274075-1F22-4B18-8592-C5F18FCF491A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda3d9acb8f4694c6198766966bd6bbec1d5ed25","datavalue":{"value":{"entity-type":"item","numeric-id":757267,"id":"Q757267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707156$96A1DFD8-B4B2-494F-B4BF-201C0CD0309C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b882e3506ced99f538b0223081445c39cbea76","datavalue":{"value":{"entity-type":"item","numeric-id":418871,"id":"Q418871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707156$142FD507-65FD-4998-BD8F-71A64E54A962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b884863289b9d37b4528f7c72bd221099d1c8e","datavalue":{"value":{"entity-type":"item","numeric-id":4359311,"id":"Q4359311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707156$D1BA7B91-514D-4A69-A5C1-3DE9344E14FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928a80e300c5d6f33f21cd1ff0f37b9d823da467","datavalue":{"value":{"entity-type":"item","numeric-id":2358597,"id":"Q2358597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707156$83A12B2D-DBCE-4905-A079-002E8C3E81AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"731cfd6a78bca2adb029fe55d000d1e235ccaf49","datavalue":{"value":"https://doi.org/10.1134/s1064562417060242","type":"string"},"datatype":"url"},"type":"statement","id":"Q1707156$A0065056-AC32-4ED3-9E16-61ECF8AF0FFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b28fb24de66e39ee1fae5e405a9e916aef2f44b5","datavalue":{"value":"W2781524456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707156$FF73EAD2-AAF5-40EC-8BC0-29AAB1D35760","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b9a960594d263c057d7fcda9269d9b666457b0e","datavalue":{"value":{"entity-type":"item","numeric-id":5118048,"id":"Q5118048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0779777a0cc44dcd9f11b1982c2cc0308def3d71","datavalue":{"value":{"amount":"+0.8968942","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1707156$C23FA73D-9182-41B6-971A-CCB90C92AF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b663e42e16167f767820b45f94dd7f5ffb45fa","datavalue":{"value":{"entity-type":"item","numeric-id":5311712,"id":"Q5311712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d3e04e21079aef84ecf56a00c3444e8209a96d0","datavalue":{"value":{"amount":"+0.88078713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1707156$D031CEAB-4358-4DD9-AD07-8DA7F03F9573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f96cfd4d95ee1250c3a416fe1117c70f3299840","datavalue":{"value":{"entity-type":"item","numeric-id":4914416,"id":"Q4914416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eabb2e956b19a3f618a741001b6001dbd95d8c10","datavalue":{"value":{"amount":"+0.87425584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1707156$47349572-D941-4D08-9EE9-CA04AC192E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f3b6fc35184868bf7054ad40c03a6bd53f42604","datavalue":{"value":{"entity-type":"item","numeric-id":5738190,"id":"Q5738190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"718ac44bda57305f462a5b5a3bb5004fc705a7bc","datavalue":{"value":{"amount":"+0.87266254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1707156$D1B8D82D-910A-4842-B475-49F7F0C3AF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5e18800f4a63d782303531848762969e67e3ce4","datavalue":{"value":{"entity-type":"item","numeric-id":5693599,"id":"Q5693599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13573c10f5fa0fba3be7b4f54dc2520f1e803544","datavalue":{"value":{"amount":"+0.8723062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1707156$C289FEAC-D6D2-490A-AFF0-695922F19A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e13268e4ed165bc10c6c057806c7a72e9eca145","datavalue":{"value":{"entity-type":"item","numeric-id":4449212,"id":"Q4449212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c116c30d214d0c89a3db45fb0d10eb434351cc7d","datavalue":{"value":{"amount":"+0.8719577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1707156$FB22792F-0C9F-4C2F-83E5-DC75579FFE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e51356607f490b368ff828cee4c40805e9071be","datavalue":{"value":{"entity-type":"item","numeric-id":5034234,"id":"Q5034234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2812996fe4970ba39ba94909df5a3bce466b593e","datavalue":{"value":{"amount":"+0.8699436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1707156$409222F5-E6EA-4C72-B423-EF6E75DD4E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19dad84702d8c67612f34da105a0f3fde2bc5502","datavalue":{"value":{"entity-type":"item","numeric-id":4923546,"id":"Q4923546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e1a9a3ad79d4e35c9491101187af136e54fe440","datavalue":{"value":{"amount":"+0.8688041","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1707156$72EC09C2-EC0C-472A-B667-B2C72A477D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552fa995d451ff05dde31834dc85b189b0dcf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":4536345,"id":"Q4536345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60a0364cd721d96bc7ba220baf981a52da628282","datavalue":{"value":{"amount":"+0.86829543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1707156$838A8C83-2508-49E3-9F73-915098EBA1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df18e32cb866610bafd8f3cf31f6ee81c97a6bae","datavalue":{"value":{"entity-type":"item","numeric-id":466445,"id":"Q466445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ebc896528f581c01fb2b6ed9cc1a04508e8825","datavalue":{"value":{"amount":"+0.8669944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1707156$60DAC83D-787C-48C2-BAAE-5F9070D76F7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1707156","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1707156"}}}}}