{"entities":{"Q5234714":{"pageid":7264282,"ns":120,"title":"Item:Q5234714","lastrevid":53547236,"modified":"2026-01-25T06:06:01Z","type":"item","id":"Q5234714","labels":{"en":{"language":"en","value":"A practical implementation of simple consequence relations using inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7111184"}},"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":"Q5234714$62104EB0-E28B-4673-8F51-75F76A0B5903","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fe20723fe0f670e372f20c0dbca5862234acb0b","datavalue":{"value":{"text":"A practical implementation of simple consequence relations using inductive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5234714$4644A56F-96DA-45DD-B3CD-F469487F1BF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bc8235a16a2dea11fb10e63ca63ac145afed8d2","datavalue":{"value":"1430.68417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234714$7F06B495-C03B-4FC5-A362-FFBF6E3EBD75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd0f9cf6df3c89e9ceb057bf4c3a41653aa1a409","datavalue":{"value":"10.1007/3-540-63104-6_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234714$BD566DB2-11C1-4B6A-9D7D-AE5F80C08BFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddc7b5b12b893092752e25f19fff9284b5a1df19","datavalue":{"value":{"entity-type":"item","numeric-id":1289099,"id":"Q1289099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234714$8DF5FE29-A2A4-4378-842D-52323D5478D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d3860a2f9767fdefbee4661adcdc84432183bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5234680,"id":"Q5234680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234714$2E27F56F-A94E-46FE-90A0-49576BEFF0F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea1ace5968cb70ccc50b025abd55a0016bafdf0","datavalue":{"value":{"time":"+2019-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5234714$3C14498B-B963-4C81-B54A-2F3B75B9485F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234714$4CBDEA64-41F4-4B50-B2B3-6BA3D38F1D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234714$8C1AD101-F148-4F57-8BCF-E1F85386141F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abc6e1a1dcaefa82338b72b510bf3e6d65530d6b","datavalue":{"value":"7111184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234714$0AB5E740-8255-42CF-919B-744F9AC33A41","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234714$7C356AB3-CE0B-44CC-98B2-222B0564719C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234714$E2643B81-AB97-4F0F-BCE5-7855213627FE","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":"Q5234714$9E723136-D114-4227-956E-6631876B9478","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6962c77e963719e84630e674760b274da25d6f0e","datavalue":{"value":"https://doi.org/10.1007/3-540-63104-6_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q5234714$6E46645F-1989-4FB1-B622-726E5CE272D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5a316e57de80bd7b804e7981eeec01f880024c8","datavalue":{"value":"W1544121389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234714$04CCF56F-CCE8-4968-9240-506BAB8D66A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234714$41761D99-1D5E-418A-8D5F-D2E2BDF0FF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00b57a939ba107655b93666582c790393345c077","datavalue":{"value":{"entity-type":"item","numeric-id":4007158,"id":"Q4007158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234714$25DDBDB4-E33C-46E1-ACE7-270E6E108F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7c99e107348aa82bd1ed9ca721c57c6ffc4f86","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234714$570E2F6A-30CC-4057-9D29-E58FA0083C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"957c877ba54d674abdc02d2d683a3cd80df215cb","datavalue":{"value":{"entity-type":"item","numeric-id":4647512,"id":"Q4647512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234714$F73E909D-E66F-4F1B-9296-D99056BD7567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234714$0AA94A41-4D3D-4FCC-A275-4D94DA20AF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234714$C64CDD36-E928-4096-80F5-283EB456164F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cbc69cab2b7d5069acc953a5626227ed8c07a0","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234714$04DC2FB6-0F00-4C81-9319-7F87D6EE0DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234714$B653B79E-3064-425B-A055-B479BC82EA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234714$6520D803-1979-4C73-A9F8-796BAA84C401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ffb78e1862447c8ce655b5a67759e1a1fa39b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3204068,"id":"Q3204068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234714$D2DCDE5F-5B98-4459-9DE9-42BCDC395E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a23b5f1b883353db1792da9968220a0c1143a3","datavalue":{"value":{"entity-type":"item","numeric-id":685380,"id":"Q685380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234714$048E648B-7DBC-409A-884E-29F257276212","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6850f32c4cd09c5f2143a5206e88925f5c5e9079","datavalue":{"value":{"entity-type":"item","numeric-id":4823135,"id":"Q4823135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d379ff76dcf1750ae77d862b5d037f1e4c9733e8","datavalue":{"value":{"amount":"+0.7359684705734253","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":"Q5234714$A88E2234-6362-40A0-961E-E7D369F4722D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8d700ddad6d1e7cb86f82803ab615af4c6216d9","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7608d1f7e55ec541a07fb70ba356a7e2e8541cf8","datavalue":{"value":{"amount":"+0.7223728895187378","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":"Q5234714$4CEAD5A8-492E-4364-9451-5C473F6698B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0474a820aa477245d719307dd6b245e63ef2e649","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068cb2d83495116e39450c49c2270b5e7142a3d9","datavalue":{"value":{"amount":"+0.7209466099739075","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":"Q5234714$5CEC0CE3-6E0C-4D04-BA6B-820F7C4EB7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"733864c161ef4d49db793b22052233c0cf4d18cc","datavalue":{"value":{"entity-type":"item","numeric-id":5308009,"id":"Q5308009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068cb2d83495116e39450c49c2270b5e7142a3d9","datavalue":{"value":{"amount":"+0.7209466099739075","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":"Q5234714$DFE19641-165B-45A1-B479-D7BFEB9A1C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b8aadc234fae96afe6628fb7a2659c901b553dd","datavalue":{"value":{"entity-type":"item","numeric-id":2751369,"id":"Q2751369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d98baf594f32eee0e9d007680ee434e6fdad789","datavalue":{"value":{"amount":"+0.7207059264183044","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":"Q5234714$671FC352-51FA-48AC-9D97-55ECB4D2A4E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5234714","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5234714"}}}}}