{"entities":{"Q3761697":{"pageid":5791603,"ns":120,"title":"Item:Q3761697","lastrevid":51800393,"modified":"2026-01-20T02:46:41Z","type":"item","id":"Q3761697","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4011938"}},"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":"Q3761697$A0FBA7A8-79F9-4701-B898-A9C469CB05F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39f91530dd35ae628f67bce7c8ea3850d1eff6c3","datavalue":{"value":"0623.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761697$02FA5FEC-D62A-4777-ACE4-DC4DA4C4818F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761697$682AE86E-56D3-450F-A635-73ECEFDB9892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761697$90FDC4E2-73A4-4654-9A53-4BFA1441D2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19b168abea7db04055f6cf4c99009d9572497bb1","datavalue":{"value":{"entity-type":"item","numeric-id":1617008,"id":"Q1617008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761697$2A15D9B0-FA84-46C1-9E3F-AF4A0D78EC15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3761697$B89D8DD7-ED00-455A-A1F1-BC050E88B8EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761697$EB05C0B4-793F-4782-B397-1B9961925D84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f637d5c4cf4d109b42367848f9c64acecce139c7","datavalue":{"value":"4011938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761697$DD89E295-1063-4984-9961-5707594F9A99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761697$B2C06370-E6C5-4A8E-85BB-F736C599DC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6993a39dddbe00a71aa0aa3df116e0d2614ea378","datavalue":{"value":"sufficient-completeness property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761697$413C6358-0800-415F-BD0B-ED977DAF7E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66b2276908255ab0fe38e919717094768bd78cb3","datavalue":{"value":"equational specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761697$49DA990F-2632-4CDC-B8AB-46CDA214203A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761697$C0D3FA48-B5BB-42BA-A705-BC325A93600B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38ec4b98ab9c565a840437abb55cc26df69fb32c","datavalue":{"value":"PSPACE-hard","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761697$7EACAF2A-88C5-4A37-A965-439C1D97F7D8","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":"Q3761697$B4265C5A-01BB-4CD4-B007-289B7DF188AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c482ff61639a60025a0e7daace3859271381b3","datavalue":{"value":{"entity-type":"item","numeric-id":2641108,"id":"Q2641108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"705b0ce7459efd5e1a68a0993b3871735c537f13","datavalue":{"value":{"amount":"+0.8888232707977295","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":"Q3761697$DC0A2F75-905A-421D-A1D9-9E129E8E8235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cc65cdf2044d1a4d927398a719f7ab76181f0a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbd0d50ac5a1a2eef730042baf297f4b62ecc0c","datavalue":{"value":{"amount":"+0.8691508769989014","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":"Q3761697$2BAD79D9-186B-4289-B2E9-0384ED07853D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec02a95d2ddd1c5c73d7dfb4ad2ff29b6d075f8","datavalue":{"value":{"entity-type":"item","numeric-id":6487296,"id":"Q6487296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e25f36d273e5ee8e565fa14202b324dbf80620","datavalue":{"value":{"amount":"+0.7852341532707214","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":"Q3761697$18B2CAF2-77DD-4D6B-BF89-9831E8EF6C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ea5d1901cf02ee947a37f999c52affb876d842","datavalue":{"value":{"entity-type":"item","numeric-id":420848,"id":"Q420848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b7ce65d7b9632ed2c62ebc35e7655f5d28ed7a","datavalue":{"value":{"amount":"+0.7829439640045166","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":"Q3761697$AE6E8E14-1EEF-495E-A9A7-A2B1928C8CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"220c681f45c42b60d3d63ddffb235ed60022bdce","datavalue":{"value":{"entity-type":"item","numeric-id":3785921,"id":"Q3785921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"859b4a5e980549386872d0c009e09ac7579aac31","datavalue":{"value":{"amount":"+0.7679596543312073","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":"Q3761697$788B5F5A-8E23-4520-8E5B-390B8BC77CEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3761697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3761697"}}}}}