{"entities":{"Q4401431":{"pageid":6431030,"ns":120,"title":"Item:Q4401431","lastrevid":34559431,"modified":"2024-06-12T12:04:26Z","type":"item","id":"Q4401431","labels":{"en":{"language":"en","value":"The decision problem for formulas with a small number of atomic subformulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3433857"}},"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":"Q4401431$EDFF5263-2F40-4EA9-A540-48FE0453814F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3892f6b2f340440ce3f4508d6ceaeda19d81b718","datavalue":{"value":{"text":"The decision problem for formulas with a small number of atomic subformulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4401431$F303C167-6173-4541-BF2A-A54AB36FF679","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9135c9f8079488078713d801abd2e18e020914c4","datavalue":{"value":"0276.02029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401431$6DB41B80-FB60-4B82-A37C-00E34391B6D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94133b3cca4c7b6c11e157efe5f45065ecddb976","datavalue":{"value":"10.2307/2273045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401431$F627FE54-4818-4BC5-A4F2-1489FAF64EFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377f0577777abeddabd75e3344d5dbc70225d82f","datavalue":{"value":{"entity-type":"item","numeric-id":800914,"id":"Q800914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401431$E347A84E-200E-4BF4-BC29-DAC4CC8829CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2be7191792d3fcf5ca2d73613bdb46e7ef7e0200","datavalue":{"value":{"entity-type":"item","numeric-id":1150585,"id":"Q1150585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401431$B4DC7DE2-29FB-4B95-97A9-862CD3EE5EE5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401431$D3EBD324-CB43-4F8B-A04E-5C0751AC133A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0009eef2e40e65b679945693e20705f9c6245b14","datavalue":{"value":{"time":"+1973-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4401431$AA5DD4A7-3AF4-4FB9-B39D-4EB9DBE6BDA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401431$D45ACBD3-B4FF-43A8-855D-1E78E83FAD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401431$097E5E07-1920-4C2C-B5E8-FB7106720059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401431$B3F3D633-7F48-4C5C-825B-CCE883102F61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59a426f3b9de470d69f436fae53faa6690f8d247","datavalue":{"value":"3433857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401431$84A72ACD-774A-4041-89F2-2466D377F1AE","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":"Q4401431$3261F383-B219-4490-BF56-C927D2858D0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09416646ff58956000be9b8d783b1322be476c09","datavalue":{"value":"https://doi.org/10.2307/2273045","type":"string"},"datatype":"url"},"type":"statement","id":"Q4401431$4B149D05-4317-4A3A-9DB6-E0D0CB8198C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46d40a6c0051811d9278f3f78f1c1a30fa957b56","datavalue":{"value":"W1992425561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401431$92D7151D-300D-46B5-8ACB-28E43A458EAA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401431$393F8ED2-0FA7-4E57-8BF4-43187BA6570F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4401431","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4401431"}}}}}