{"entities":{"Q3931375":{"pageid":5961280,"ns":120,"title":"Item:Q3931375","lastrevid":55026883,"modified":"2026-02-02T22:56:46Z","type":"item","id":"Q3931375","labels":{"en":{"language":"en","value":"Some undecidable theories with monadic predicates and without equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3745145"}},"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":"Q3931375$FDE7FE28-4AD5-4733-9DAC-55AFCCDEC5CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"056b9ad16845645ded425db98348f9dd7f732fe8","datavalue":{"value":{"text":"Some undecidable theories with monadic predicates and without equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3931375$CD2BA0CE-2259-4F99-96CB-071ADF5960AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e45b05a839850147f92f39be23034367088aa4ae","datavalue":{"value":"0475.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3931375$9263F397-A5E6-4A49-8992-6C7AFE497B69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f333725b10ba10f10538f17e29f9c3a43599e222","datavalue":{"value":"10.1007/BF02011640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3931375$6EE0B52A-42CF-40CC-8466-89919FBC4389","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3931375$7ABF1A77-CA8F-4275-A31D-BCD438131F81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3931375$C91220CA-2693-4BD8-AC1F-2B51BE82AA39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3931375$F58BFC64-537F-4324-BD93-84CE5A5BE57F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ab9be5aa6e5764d00569ff01fcd96b3c3a32dd9","datavalue":{"value":"https://eudml.org/doc/137982","type":"string"},"datatype":"url"},"type":"statement","id":"Q3931375$5FD30842-3DD5-4F74-B835-66953265EB98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3931375$D977788C-2DB9-47EF-B9DC-435FD22FE97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3931375$74579532-8019-496B-9160-3492D44E661D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc029a0f886a1003fc56df38fc7b09840369c0f7","datavalue":{"value":"3745145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3931375$1E4C5CEA-D41B-4E8F-98A4-B63FDE56370C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"688e47fdecd55490041072fae561acebd5384d59","datavalue":{"value":"decision problems for restricted first order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3931375$88781E67-5DC2-45E9-ABBD-0B593FBA6B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fcc9f78a70b8cae99c131d43b52a212c8fcb02e","datavalue":{"value":"groupoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q3931375$7AE39396-665D-49DD-8D9C-244F69D4AB40","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":"Q3931375$0EE41BF7-CD6E-46DA-9E38-C73F1D61E962","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75edf697e822e93a249fe6251b862689ef8f56a","datavalue":{"value":{"entity-type":"item","numeric-id":1148890,"id":"Q1148890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3931375$9CA773B3-88D6-471C-99EB-AFB2881148F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8372e96e392eeb9e856668a83d45d425f99ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":5666545,"id":"Q5666545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3931375$C4D50BB4-5F5E-4CEB-9465-5E26566243FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3931375$358E5078-3CEF-4078-BA7A-0E894327011B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a04643079bb03672b8a1dbe12aa7b0f8cb6861ad","datavalue":{"value":{"entity-type":"item","numeric-id":5729305,"id":"Q5729305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3931375$01975FBF-D7AB-4F10-BD47-F579D6D45452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3931375$690457F2-0AEA-4B81-AD5A-239BE399E637","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3931375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3931375"}}}}}