{"entities":{"Q4038726":{"pageid":6068444,"ns":120,"title":"Item:Q4038726","lastrevid":55241047,"modified":"2026-02-05T05:32:30Z","type":"item","id":"Q4038726","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177848"}},"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":"Q4038726$DD10599A-E628-4639-A4AC-D978B98A1439","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f05cf14d6ed910c54b65bb0684f9c32277612ee","datavalue":{"value":"0774.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038726$C932ACC1-947C-42F0-814B-BAEBABDF667B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23be70569faa30ab86ceaac20a2ea57705fd5fb4","datavalue":{"value":{"entity-type":"item","numeric-id":685392,"id":"Q685392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4038726$56A75C58-A29C-4B1B-84E3-63733700D0DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4038726$F7DB690F-3186-4B1D-A983-EEB49C206B8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038726$52008036-C1E4-466E-A4F1-586157B366AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038726$A9453C39-21CB-4A66-9231-F8B1598FCB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038726$931C7E51-5DD8-41D8-A2BB-CF74BD2D7C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038726$D9503474-89A3-4A2E-8106-F10EA2BD73AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038726$6B0D3E64-D2B6-43BE-AE94-4742DD766096","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a3ee98998535ec716a6acf8e9d8a36f3981e6e0","datavalue":{"value":"177848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038726$CFDB3E43-19D4-4332-A615-4460E31E5676","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be2c68015c5d2009749f0a923c70c85d365bef0c","datavalue":{"value":"sort constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038726$EE1942AB-2356-4E59-B7EF-71C4F2D6FC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"009a749f811ad07fe8c758889813a957dc62fbb8","datavalue":{"value":"transformation rules for first order formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038726$9082BFCA-EDF6-4D43-AA13-26D67A3BD8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef79461ebb94f7bffc6ca6cc491aaeaa6b5a51b1","datavalue":{"value":"equations between terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038726$ED06C35C-196E-4145-A5C5-A3A4FA94F8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed418a28386cecb26257f7dc60b7ef2091286d8f","datavalue":{"value":"regular tree language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038726$EC2A6446-4945-4686-A799-99198C748C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038726$68198F7E-A717-454B-90C2-31F725AAC373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e0e166bcf7e09dfe2b3487cbc117f4c2236358","datavalue":{"value":"first order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038726$C23E13B9-E147-47AA-AA54-D07D9A9039C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeaaa05c4e00de86d93f84362099778dc5043df5","datavalue":{"value":"rational tree language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038726$CBF80295-0A77-4286-B9AE-C0E71E2D6F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e5586e1a461878afedded84eda2e96b0c507c9","datavalue":{"value":"automatic inductive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038726$B29F0B07-F52C-4EB7-8457-B7FCA5BD3FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038726$3E52536E-73A2-41D3-8F19-DF84D8ABBCF2","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":"Q4038726$CD6968FA-42A0-424F-9846-DC57A432F708","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2527a2e09f3d57fb552f6d719dc73e3f0a271e38","datavalue":{"value":{"entity-type":"item","numeric-id":1333268,"id":"Q1333268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"393236b252be9d8d516aa1a04b65106bcd41a98a","datavalue":{"value":{"amount":"+0.8702920079231262","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":"Q4038726$7ADC16BB-EAD9-416D-88F6-1C9CF9C55B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a46bb2b8f73343bd9cb6ed10463ea0f250277677","datavalue":{"value":{"entity-type":"item","numeric-id":3719824,"id":"Q3719824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"393236b252be9d8d516aa1a04b65106bcd41a98a","datavalue":{"value":{"amount":"+0.8702920079231262","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":"Q4038726$26F9C932-6268-4461-A7DC-3962BE4F8B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6c205cb27cbd663c98bf20a1e1441b16569e67","datavalue":{"value":{"entity-type":"item","numeric-id":2628298,"id":"Q2628298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ae36f5b4beb0734ec351fa21ef70a9ccdf0f4f","datavalue":{"value":{"amount":"+0.7934899926185608","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":"Q4038726$5B86237F-70F1-4435-9E55-B9CE5D9ABA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b84bca5514a1ba9f670962df018696214b29af","datavalue":{"value":{"entity-type":"item","numeric-id":5743584,"id":"Q5743584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7cee988278b0ffb70823877b484eadb88b1fa78","datavalue":{"value":{"amount":"+0.7884267568588257","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":"Q4038726$BBAAECCD-3CBD-410C-BD56-8CD2C3236E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5bd0fa66fd9009baaa2529908f98e3f28360a72","datavalue":{"value":{"entity-type":"item","numeric-id":5055713,"id":"Q5055713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78fde0f31eea2c2b2e4f12d849e92d2f17077497","datavalue":{"value":{"amount":"+0.7875632643699646","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":"Q4038726$7C93A58A-AB15-4AAE-8EA8-9543954F061C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4038726","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4038726"}}}}}