{"entities":{"Q5040820":{"pageid":7070397,"ns":120,"title":"Item:Q5040820","lastrevid":98319803,"modified":"2026-06-05T17:13:15Z","type":"item","id":"Q5040820","labels":{"en":{"language":"en","value":"Logical derivation search with assumption traceability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7602762"}},"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":"Q5040820$D77E741F-B57E-40C2-8217-9C975DA93DD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04a9b56ec3af7e3e26921e5952ff64ca7b6f7f12","datavalue":{"value":{"text":"Logical derivation search with assumption traceability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5040820$E3646683-0462-4A55-8E78-3D26222E8F17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15aae899485ace7cedd011efa4b557a23daa0b24","datavalue":{"value":"1499.68332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040820$D327B656-E682-4172-AA13-CAEE957AD23B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0bc87989e901fe27d66578591ebbb9bd2655b8b","datavalue":{"value":"10.15388/LMR.2021.25215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040820$77B2B944-0094-468E-9463-33283430BAAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2567ab1cb18b4c003c1b2bc9c7757f1b5382bb67","datavalue":{"value":{"entity-type":"item","numeric-id":926637,"id":"Q926637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040820$838C4972-6B64-42C5-99AA-01A3A05B6533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"778c57830e4ab73702ddbac1ed805219d8cf1423","datavalue":{"value":{"entity-type":"item","numeric-id":5040819,"id":"Q5040819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040820$8448CB7B-425D-4D11-AD23-A4FD87DD5F9D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb3e695ac322d699105a5eb662e48ec5bb15add8","datavalue":{"value":{"entity-type":"item","numeric-id":2798980,"id":"Q2798980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040820$A75A7521-B059-436A-98B0-6C51062C99CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56990fd6540c9785f009870b6cba51a68900b81f","datavalue":{"value":{"time":"+2022-10-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":"Q5040820$9AA03947-8A81-4D9C-B24C-52560998BA52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040820$F2FD842E-7A32-4527-958E-72935834DF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040820$9DD1F3CB-EBD7-459A-A2AB-F105F5D28788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040820$FA6729DD-E234-4311-BFB3-C9773649597F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c278acb39fa26017a3c7ae7973b2c159ca772d9e","datavalue":{"value":"7602762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040820$7CCC1D31-3F2A-456F-8A11-2385C059B0AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5040820$9076D2A7-BDC2-4FCB-9A8F-F4BCE8D775FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"924607da8efe2573a9e8496cc49b2d127a27106e","datavalue":{"value":"traceability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5040820$7C2E376D-E35D-4C55-A0D0-85D21334185F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f01c4925046868c68824900c798943c13a622d1d","datavalue":{"value":"loop checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5040820$82ABA606-C20B-4752-91F9-5307AC62D824","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":"Q5040820$301FD3AB-8F01-440A-B76E-096C419D4717","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bead9b865515759abd740749649a0e595fc586f8","datavalue":{"value":"Q114594799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040820$A2243B15-1FA5-4474-8C4D-2AC6EEEED10F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aedfecf0494df75ce96475bf7dac127657dba27e","datavalue":{"value":{"entity-type":"item","numeric-id":2228437,"id":"Q2228437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040820$2F576AFC-C651-4DC9-A227-3349BA1289A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040820$4307C46B-2DAF-4A77-828C-29C3127AABF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dfeb5b47444eafa245f412784b14045d4644ef5","datavalue":{"value":{"entity-type":"item","numeric-id":1372944,"id":"Q1372944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040820$048E2B69-A4EB-4747-B39E-2FC964E462E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989e30629b0a606961308315e1c7243e974dcc8d","datavalue":{"value":{"entity-type":"item","numeric-id":3406694,"id":"Q3406694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040820$E80F60ED-568B-459E-AB34-DFBC7D326E4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical derivation search with assumption traceability","badges":[]}}}}}