{"entities":{"Q5556426":{"pageid":7585986,"ns":120,"title":"Item:Q5556426","lastrevid":39615631,"modified":"2024-12-30T16:11:02Z","type":"item","id":"Q5556426","labels":{"en":{"language":"en","value":"The Decision Problem for Segregated Formulas in First-Order Logic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3271501"}},"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":"Q5556426$720167C7-598E-48C0-862B-7E1B3020BFF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e66af788472c7b9c0be701fc93f22c6bea1328fe","datavalue":{"value":{"text":"The Decision Problem for Segregated Formulas in First-Order Logic.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5556426$71E07558-6F9F-412A-A933-6038862BB8DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef784b4900329f7e21be2b5b42615590813abfde","datavalue":{"value":"0169.31003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5556426$D53750A7-EB3B-4BDC-9486-1448C02790EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f93a7ac42ad2161466fbc168fb61a689038734e1","datavalue":{"value":{"entity-type":"item","numeric-id":2795643,"id":"Q2795643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5556426$FECBC3C2-8E6D-4E9A-819D-2A126B4C40A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7d628e8c937a22d7d86104d43d6122808f1e938","datavalue":{"value":{"time":"+1967-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":"Q5556426$3DAA33BF-759C-4DC8-9200-4F920EBBD2E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dcce6cdbecb98b3418c0d39a79a225b6a50a5fe","datavalue":{"value":"https://eudml.org/doc/166022","type":"string"},"datatype":"url"},"type":"statement","id":"Q5556426$9BA2C566-E351-4402-982B-7F77305C588E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bfb6201eaec03f4d7e7f330110979c8bb0755ca","datavalue":{"value":"3271501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5556426$7A093373-C738-4177-B23D-8A7A57772222","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f441ca3826c2a626abc1e33f52cef18dbfcee6b1","datavalue":{"value":"recursion theory, constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5556426$C4054E56-8574-4C63-8CAD-524AD70BB0EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bd083583c0967091b3198ec419f4ead57080570","datavalue":{"value":{"entity-type":"item","numeric-id":1237718,"id":"Q1237718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5556426$81B668AF-EEC1-453D-9249-33D73FF5FDD8","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":"Q5556426$00FC58C0-5816-48A5-8DB1-C11699DB2628","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2514bf6be54de21514f9c7e4ab025da26d586118","datavalue":{"value":"W2531658942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5556426$E90B541F-AE0C-4E2D-9F92-4942326E93AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4c451421fb081b26a748e9251fcc0a4d7d135da","datavalue":{"value":"10.7146/MATH.SCAND.A-10862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5556426$EC780231-34C8-403C-BF4C-77EC8996C88B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5556426","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5556426"}}}}}