{"entities":{"Q4249176":{"pageid":6278777,"ns":120,"title":"Item:Q4249176","lastrevid":46838799,"modified":"2025-12-25T17:00:35Z","type":"item","id":"Q4249176","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302628"}},"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":"Q4249176$ABCDB566-6A31-4B50-B2FB-E4C493CC0007","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3098371f602602fc85dfccde5799a7c65152482","datavalue":{"value":"0928.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249176$E239C2C8-B855-49BA-BB7A-CF64B5EFD9F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b043e7c633006f3fac5c3bfd0395a92f663b5539","datavalue":{"value":{"entity-type":"item","numeric-id":758210,"id":"Q758210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249176$9591A442-06EB-40CD-91A5-C887AD59F4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3920c2ee987eac94563e155e27382f1dec3b4ac7","datavalue":{"value":{"entity-type":"item","numeric-id":420847,"id":"Q420847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249176$C8DD497B-F28E-4D29-BA46-A1E52726EDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"798125e2bf84cd3371872ac90f65bc577c3ec746","datavalue":{"value":{"entity-type":"item","numeric-id":286961,"id":"Q286961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249176$AB58ABA1-5862-4D70-8D59-D16DFF520009","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4249176$D7E03218-526C-4C34-861D-01DCC79E4DB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249176$BFAEFC25-A88B-41F8-B874-35C104724D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249176$33DAA1FF-8FBA-4CB0-86B6-9C9958BBD400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249176$888CE76F-3F07-4E59-B1E2-DC3B5F983898","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a39b4c60cddf5f77aa5ee29fb4e31c5a4aae2d8","datavalue":{"value":"1302628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249176$252E8759-05E0-4806-83C9-3D1D7DCAE7E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e2d00713ed44de52a48e89c8f97fb81d5135bd","datavalue":{"value":"rigid reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249176$75B64B6F-0831-4ED7-834E-8A9E1D965389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9503c637b69eeb659e8970d203497332fa5acaac","datavalue":{"value":"rigid \\(E\\)-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249176$50D06277-DE25-4F91-8088-A2BF29FAFAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249176$AE5C44B1-987B-4B51-A976-A35A632529EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c2e46beed5ba96220d06926ed1c2376b067793","datavalue":{"value":"second-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249176$D1512011-961A-48DE-BD96-5B939BD7E205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2f6b4a1b67df9676330376c31f6bcb6a2eaf7ae","datavalue":{"value":"decidable subclasses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249176$26FA78E8-E76C-4139-9119-DCDA331B2D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2294744776a0d8b764449f5e9944ea2ca2c871","datavalue":{"value":"EXPTIME-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249176$072E4D1D-5DB7-4788-B365-EF4E6B0A648B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ece1969bfb718d710ed87cb3ef400c99c54733a","datavalue":{"value":"automata-theoretic methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249176$31561D43-3C39-4FE5-9560-059F743C8DF4","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":"Q4249176$411E1E0D-45AC-4736-B047-92A361C606D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa04a907f7bdc44b74d8c54300eb25840eba213","datavalue":{"value":{"entity-type":"item","numeric-id":5249028,"id":"Q5249028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77011b69aa957cadcad8b388a9626a8f79afca3f","datavalue":{"value":{"amount":"+0.9816676378250122","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":"Q4249176$8C6531C5-DBC5-4545-8072-938B78DDB5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce938ccf14270cddca319820686cd802bb4fe81","datavalue":{"value":{"entity-type":"item","numeric-id":4938629,"id":"Q4938629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"208b3b8f0505bbd48383826c8e34e822e0a4e458","datavalue":{"value":{"amount":"+0.8522945046424866","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":"Q4249176$C59DA24D-AA13-4E3B-8BCF-2A1B93B6C02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95285eb430b07962ed87c982fea9e805e38c4508","datavalue":{"value":{"entity-type":"item","numeric-id":1960540,"id":"Q1960540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8c6d8dee8f403d900286dd5a6a97e5560a70ce5","datavalue":{"value":{"amount":"+0.8022292256355286","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":"Q4249176$8998EDC7-6EB9-4176-959D-891620F83FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a5c5bd409b15fbcc78f61fb7edf2042911a9e24","datavalue":{"value":{"entity-type":"item","numeric-id":4571948,"id":"Q4571948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e3c2c00464ebc92a483dab0708b7e7808d023f","datavalue":{"value":{"amount":"+0.7979610562324524","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":"Q4249176$607A0207-0BAF-47B5-9376-DE1363E5E791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a1b3b067a55453e538e63d390e7f2fad3e740c4","datavalue":{"value":{"entity-type":"item","numeric-id":1961709,"id":"Q1961709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e0eb12e4db5a3b74a23ca2f42a4780c2eb5c477","datavalue":{"value":{"amount":"+0.7960583567619324","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":"Q4249176$F8D59803-997F-40FC-957C-51F72CA0568D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249176"}}}}}