{"entities":{"Q2891451":{"pageid":2902176,"ns":120,"title":"Item:Q2891451","lastrevid":44709756,"modified":"2025-11-25T10:35:59Z","type":"item","id":"Q2891451","labels":{"en":{"language":"en","value":"Automatic Generation of Invariants for Circular Derivations in SUP(LA)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046612"}},"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":"Q2891451$8F24D5CD-41D3-4810-8886-C7D09525F5F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f5c8fa7fa98f17e6b813481058b710446b48a2b","datavalue":{"value":{"text":"Automatic Generation of Invariants for Circular Derivations in SUP(LA)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891451$7627B4F1-F816-49F2-A2E9-1997B3FA2583","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00e9a188cafcee69e96bde79f5891dfb5c27e4b8","datavalue":{"value":"1352.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891451$FD5F710F-EB06-4CA4-AD3E-583D5E54436C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"975cf65626d6c0d87f73084a04ede45fcaffba84","datavalue":{"value":"10.1007/978-3-642-28717-6_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891451$9634009E-B332-4550-855D-360CF7C25175","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef16cf0ac7c5453ce39911865487b110cabbd361","datavalue":{"value":{"entity-type":"item","numeric-id":1037395,"id":"Q1037395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891451$BD63458E-2A1D-44D9-A046-7490D1E4393A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a90d58dfeea03a75e7d0cdae3c5064a56b2f72ec","datavalue":{"value":{"entity-type":"item","numeric-id":1949087,"id":"Q1949087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891451$8EABF293-4A76-44ED-8B27-238FF55C49CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891451$FEC943FB-5808-4164-A015-5BB9EDAFB873","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891451$5435495E-67C4-473E-A616-01732FD2118F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2891451$2E736B95-667F-48BA-9A5B-64FC03C8E5D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8afa42f058dc82384368debb45f786b2ced810c5","datavalue":{"value":"http://hdl.handle.net/11858/00-001M-0000-0024-03CF-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891451$08F3A022-7DFC-49B3-9E3F-FA29C66023F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891451$C9BA78DE-BDD7-46E6-8730-70368F15C6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891451$30A8EEE8-3458-4801-808D-5ECA0377ABC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891451$36FC7375-BE19-4579-BF36-C2175588868E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891451$1A88C905-B4CD-49A8-88B0-DB162A3AF9DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cad62bf7d99cc5dde55ec0bc213382d661e9d6f9","datavalue":{"value":"6046612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891451$D91A0020-6E91-446C-8A2F-7B9FF28ED99F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891451$B411EDCB-6F44-4E6C-AD17-50EF4832FE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891451$790D9DFE-B5F8-4A88-9B87-0292A18E061A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fedb99aafb4892a69662c5ebaffc64ecb6451370","datavalue":{"value":{"entity-type":"item","numeric-id":16326,"id":"Q16326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891451$72B5112B-2F83-49AE-8D28-0BD7BB6C41B3","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":"Q2891451$24827704-AC64-4BB5-B886-1A11D97AFAF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b6cdd56e3a276c6152fe015512a8fc9796513bb","datavalue":{"value":"W1942011698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891451$E9B7571D-95BB-473F-AA9C-CDB92CF0897E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e1ac102e88017aeca9570343676b61175a152b","datavalue":{"value":{"entity-type":"item","numeric-id":4657335,"id":"Q4657335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d4995d152efae252e6172979da7f84902a91293","datavalue":{"value":{"amount":"+0.86295736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891451$E3F58A11-661C-4817-8B3F-66BE097C1AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cb466b9ae8ef59dc8c7c5d5df099f614b41338d","datavalue":{"value":{"entity-type":"item","numeric-id":3416386,"id":"Q3416386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a0e3de22a9e6681fe6e55236b2ef34afb25e00","datavalue":{"value":{"amount":"+0.8470264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891451$694BC406-ACAA-43F4-BC72-3128B8077636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8242cb23154939e3c7ada1e404fda49d2e0e93d","datavalue":{"value":{"entity-type":"item","numeric-id":3297595,"id":"Q3297595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e41c47bffe6babbab54407b8bc18468f2e177c4","datavalue":{"value":{"amount":"+0.8392941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891451$EA0E7787-BEB4-4355-A375-BF76ED625390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9400e948bfdbcf2e05287ea36a1d7447e0e1258","datavalue":{"value":{"entity-type":"item","numeric-id":859956,"id":"Q859956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d29bf968e066442886799deada99a9eeba9f31dd","datavalue":{"value":{"amount":"+0.83578557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891451$D17DC883-F57A-4D73-A882-7F047A6879EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926cf5679f12b929b495c82a0526a2cd15578836","datavalue":{"value":{"entity-type":"item","numeric-id":5466567,"id":"Q5466567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0185d705278d2cb494be01f532d3787b11908c12","datavalue":{"value":{"amount":"+0.8318006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891451$BEFC4EC5-70E8-43CF-B8E8-C77E1157AFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f00209fd89c10cc4c8264b757b15d4637ae4628","datavalue":{"value":{"entity-type":"item","numeric-id":903492,"id":"Q903492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7415f9a30e22d3d6ee8ae2cc74039aa1700cedf4","datavalue":{"value":{"amount":"+0.829354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891451$5446536D-B8F5-4E10-9103-63E67A93C503","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2891451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2891451"}}}}}