{"entities":{"Q4230359":{"pageid":6259960,"ns":120,"title":"Item:Q4230359","lastrevid":46636002,"modified":"2025-12-25T07:38:36Z","type":"item","id":"Q4230359","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1256672"}},"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":"Q4230359$3A942F85-D778-42D9-8450-FBC790610E49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d77cbd3d718a4d2caae188d88b3865cf6438a028","datavalue":{"value":"0914.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4230359$2FEA808A-8EE8-445B-A1A3-036C2AB1ADD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc17e3cfe92adeb4ff2e5b343b40508dcb4c5aec","datavalue":{"value":{"entity-type":"item","numeric-id":314824,"id":"Q314824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4230359$6C6247E3-A0FE-425F-A272-C85210308096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b26410f96225891c328a54facf6542f45ea37c9","datavalue":{"value":{"entity-type":"item","numeric-id":1127319,"id":"Q1127319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4230359$A5FE0C7A-823D-4D99-BE24-5772A3A0B7B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"598703f00d94fef55523c92c719be9981f1c620a","datavalue":{"value":{"time":"+1999-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4230359$B2DAEC26-5ED3-4A13-AB01-6B01CEF88157","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4230359$A86825B7-C257-4B32-9F46-701A1CAC77F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4230359$27DA18BF-130E-4CAF-8E24-85F1A9204C05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df24733b32183ef34290251e2c5e779166309734","datavalue":{"value":"1256672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4230359$C6467490-0C17-4346-A759-4F767574B481","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4230359$B749C925-32E0-41D7-B724-6FD112B6028B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bd34239865b4291d26b34080cde216e9f0343dc","datavalue":{"value":"Horn-clause implication problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4230359$3FDCDEA4-A541-4F2D-8EC1-F032AED4C37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4230359$58237508-3A05-40AA-9EF2-E6EE2E23CAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5b8be76aa89c14b6d33ca97db5d1dc36cbe8a43","datavalue":{"value":"analysis of derivation trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4230359$94531C41-4D22-43BB-8755-31B977B888A3","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":"Q4230359$1CD17AAA-B077-40F9-9F12-92CCED9337DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d734cf47ec5d74c2caf3a77a7778b0c7e3a950a6","datavalue":{"value":{"entity-type":"item","numeric-id":4525287,"id":"Q4525287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dad126ecd4f5464fccf6c1c99cc35317f07285e","datavalue":{"value":{"amount":"+0.9147695302963256","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":"Q4230359$D6B4B18E-EA63-4C39-A559-CFA06A8A3EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fcbef14ca7f8c9c2f0b3556326c48e0b2a4c2cb","datavalue":{"value":{"entity-type":"item","numeric-id":3140392,"id":"Q3140392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e641e1603fe4a7c094a2295780a4f360c286ccea","datavalue":{"value":{"amount":"+0.885238528251648","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":"Q4230359$547C434F-C64F-4DB7-AAD9-705E61A0A4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4b8c1c4510b04f54d1d8f72daf13bf8b78792a","datavalue":{"value":{"entity-type":"item","numeric-id":4729408,"id":"Q4729408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb24c6fdea011da8292b7060e94e906eac88bd37","datavalue":{"value":{"amount":"+0.8654888272285461","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":"Q4230359$B97C106D-19BD-45AC-8790-7BF5BEF4F524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"728f2538866b1b7b5f80e3cb80b575bd26f5b5f4","datavalue":{"value":{"entity-type":"item","numeric-id":1110493,"id":"Q1110493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f4c9f9fdcff52579038b0c60c5f3ea5bff748b","datavalue":{"value":{"amount":"+0.848051905632019","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":"Q4230359$19ECBB34-4D27-4B14-AAF8-FDE486A20726","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4230359","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4230359"}}}}}