{"entities":{"Q4945246":{"pageid":6974828,"ns":120,"title":"Item:Q4945246","lastrevid":47471458,"modified":"2026-01-01T20:18:20Z","type":"item","id":"Q4945246","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424055"}},"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":"Q4945246$C30E34DA-46CC-4E1B-842E-F0A6D3C7C26C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"800311769cd8bbbd7bac15b3ae4a40879f7db6a8","datavalue":{"value":"0944.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945246$8DDC65E6-E99A-47CA-8899-D40907316C12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945246$BDE0574B-1BFE-4826-B2FD-DC7CAC751E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de43c76cdcf5d94dad9d181d239567c718ae79bd","datavalue":{"value":{"entity-type":"item","numeric-id":1118664,"id":"Q1118664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945246$3FC8ECB8-A8CE-4BF9-9352-FCA6CABC8502","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a175ccc37a14b3ca79afe1248bd0b3c945a52ef8","datavalue":{"value":{"time":"+2000-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4945246$2216FFA0-3C2E-49B7-887F-CA1D55860A6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945246$B37681FC-6E1D-470C-8FA9-C5F6D4379CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945246$1EABBBA0-6684-4029-85B2-BFD9FF8F5370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945246$F4FEBC04-52B6-4696-A833-C6F4230EB328","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72bc40fd3c1b63790c3d8ce911bec3017332021e","datavalue":{"value":"1424055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945246$42CD58CD-8F3D-4479-997D-F433D9830CD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0eec30d4438aa9c178e8b310d81741e807631a6","datavalue":{"value":"guardedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945246$C5D8B25F-4710-4187-97C7-66FFF325A7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945246$3A486149-B93A-4BF1-B36B-00FD8C3831E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e1a76d835de5879ba09a135ae1648593be295a4","datavalue":{"value":"loop-connectedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945246$9BE9822F-9DD5-4090-BD58-314A965A8A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb3771d8ea30a275bbea2eefe8c34bb4b1f72f10","datavalue":{"value":"hierarchical system of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945246$73214DE0-CAFE-4AC0-BBA7-374D528D870B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945246$F8DD35CD-ED33-4DE2-9E03-1FB2CDFEA213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a956f23731299a4d5d987b172cd9e025d7143d1","datavalue":{"value":"variable dependence graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945246$EF83EEEC-0E4D-4D7E-B91E-88C2DF42D281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21ac5c33079b13cdc1e8669c70489ac0dc101f3","datavalue":{"value":"regular tree pattern-matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945246$32788C17-A5CE-498D-B4E2-1A91756DB78C","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":"Q4945246$323D2801-3AB0-46A4-9517-9362E9AF30F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"164572f8791f288d0989674415cab479d2faba87","datavalue":{"value":{"entity-type":"item","numeric-id":1350911,"id":"Q1350911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79516af7218efd3b59344f3c3cd8060f141ab2ca","datavalue":{"value":{"amount":"+0.7191252112388611","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":"Q4945246$6E1DDE07-CA94-456E-9796-C787196C3CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da5db7ce77e86a4fbd43e8f4bfd937d7d54ae0d","datavalue":{"value":{"entity-type":"item","numeric-id":1391536,"id":"Q1391536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b59b4d2a46eb7ec32fb42779445f0540ccf059a","datavalue":{"value":{"amount":"+0.7184520363807678","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":"Q4945246$4B1FC181-35CC-4E54-A225-63164DBD6DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5ebd865ffdb8179d06b3fc504ece3fb10ebe272","datavalue":{"value":{"entity-type":"item","numeric-id":2044189,"id":"Q2044189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"453266a5d3d08e949fbc92e145844d18d16deea7","datavalue":{"value":{"amount":"+0.707223653793335","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":"Q4945246$F56A4646-4AF7-42CA-BD54-7355CAE3A805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7919f883435133146fff3ed35f34af0bdf1de4","datavalue":{"value":{"entity-type":"item","numeric-id":3090856,"id":"Q3090856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175b2ff8e2dc88c5e32eb9916036a90539e1be44","datavalue":{"value":{"amount":"+0.7018750309944153","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":"Q4945246$C6380357-94B5-4B7B-AD53-237B2916843B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a92ca8268c4c270c00363bf4f60b3d47109985e","datavalue":{"value":{"entity-type":"item","numeric-id":1854400,"id":"Q1854400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3112e08bf7fb6a09b0daf7a6ac38711320a5b5df","datavalue":{"value":{"amount":"+0.6983550190925598","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":"Q4945246$C51A9F82-AE3B-425C-9D12-3FCB670A0A0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945246"}}}}}