{"entities":{"Q6592314":{"pageid":14203471,"ns":120,"title":"Item:Q6592314","lastrevid":57383607,"modified":"2026-03-30T18:14:17Z","type":"item","id":"Q6592314","labels":{"en":{"language":"en","value":"General theory and tools for proving algorithms in nominative data systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7901005"}},"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":"Q6592314$8DCF5828-BF52-4110-A1BB-A1034BFDA1EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a5b5cabfd9817d058d343a40a8d396f5416dacf","datavalue":{"value":{"text":"General theory and tools for proving algorithms in nominative data systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6592314$478B6E90-9D84-4B2F-824E-3BA160523BCD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b24a218b66cb6e0e1bf3952d75cb11ba8d0ee26d","datavalue":{"value":"1543.6842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592314$E1DA767F-D2CB-43A9-911D-D77E5CD9F187","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97f5866402635b99149bc460396a826566782037","datavalue":{"value":{"entity-type":"item","numeric-id":2337336,"id":"Q2337336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592314$E8BC1664-6697-4507-B7D4-34232589EE2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592314$16D572F0-D1B7-4C35-97DE-7384F2B8402C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31004ac8a77f65318e51d8c72811e6bbf118c123","datavalue":{"value":{"time":"+2024-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6592314$71A81A30-6DF3-47DC-AE03-14A36ABBFF17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592314$59C64B51-57EC-4317-A62B-875822574B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592314$1D3AD268-1C37-42D1-8FF3-1059D3AF9DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592314$8989DEFE-597F-4C97-A92B-21C2069DE22B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32af0369de6057d8e0400d0b3dc8e5a3ed70e36c","datavalue":{"value":"7901005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592314$5A821DD0-705C-4CCD-B86B-AF3CDA9BC5D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc330330af81c651fedbd47b883734cbc393641e","datavalue":{"value":"nominative data","type":"string"},"datatype":"string"},"type":"statement","id":"Q6592314$D310401E-88EC-440E-A637-941F00D0DAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6592314$5FF80A64-B2BB-4674-BAAD-E88160E9B7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q6592314$5564867F-C125-4FC9-B781-4D813DA38FE9","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":"Q6592314$2EDE7153-5275-4FCA-BCAF-77DEA3ED5DBF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbe3f6a88e51e1203c3c8190dcfbdac3cc8dde","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592314$93DB09CC-57AB-472C-8E6A-DE72B2F1AF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592314$6E55BE7C-C202-4789-B20F-9C38DADB72CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d861948f1f6146a05d3ce13e4c51b6e0c074be1f","datavalue":{"value":{"entity-type":"item","numeric-id":286794,"id":"Q286794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592314$78C0BA4F-10F7-496B-919A-B901350146A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592314$95864FDD-A2B6-487B-9197-74761326A3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50098f7373776d4560222ecc8a748602d90caa1a","datavalue":{"value":{"entity-type":"item","numeric-id":1688748,"id":"Q1688748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592314$B920765E-3C63-44F5-81D2-1FEE99D7812B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeae895a2eedc4d5094f7da768129446f8f2e69","datavalue":{"value":{"entity-type":"item","numeric-id":1650410,"id":"Q1650410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592314$1120614B-0B23-4660-978A-3D87FEF76A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d91bfaa278ea5f6d261d9800ec324915876d776","datavalue":{"value":{"entity-type":"item","numeric-id":2311522,"id":"Q2311522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592314$6DABF148-3C74-4C34-A7B8-3616960926D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca891fbeb599e54094d6325ea944d3297b062ae","datavalue":{"value":{"entity-type":"item","numeric-id":2311523,"id":"Q2311523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592314$28C54819-6ADA-460F-92D5-D8743814CF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fbf368a20bdd3ab27aef01d424d68ccd72c8623","datavalue":{"value":{"entity-type":"item","numeric-id":2311524,"id":"Q2311524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592314$16034393-0D7E-44C1-B43B-572DC76DBD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c44a6ed92c6c245811327538ca01c4b094bb1c7b","datavalue":{"value":{"entity-type":"item","numeric-id":2311521,"id":"Q2311521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592314$F29F2228-A8A3-4E7C-BECE-BC8788448BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d5a905b54e79a46eae8ed5e133348b084137d06","datavalue":{"value":{"entity-type":"item","numeric-id":2337338,"id":"Q2337338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592314$18CE553B-AD22-4416-81B1-745B992AB781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2372b24e88953aed235b786ca1e00031c76e619a","datavalue":{"value":{"entity-type":"item","numeric-id":2337337,"id":"Q2337337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592314$85CFA01A-F834-441C-9D4F-C687D43BDC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"804d612aa23ca04bde66555843a754f787b9f3b8","datavalue":{"value":{"entity-type":"item","numeric-id":1796766,"id":"Q1796766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592314$EAB22079-09B1-4494-95F6-6E41D80E72CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129b34a25e9b7fb67fdfe3e59012717c8e20f4a6","datavalue":{"value":{"entity-type":"item","numeric-id":1650373,"id":"Q1650373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592314$2177F661-0A4E-4DD2-9264-B5985715BF83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fb2d5746e60f37a30e3c72ae098ce6fbf6f8e8a","datavalue":{"value":"10.2478/FORMA-2020-0024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6592314$C01E8B66-B78E-4471-B9BF-BBB7B58B0241","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e3527c8ff826c8ac797daef0d80602c1118862","datavalue":{"value":{"entity-type":"item","numeric-id":2311522,"id":"Q2311522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db993bd503a8b2582e20eee0fc3559f690aed890","datavalue":{"value":{"amount":"+0.8093761205673218","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":"Q6592314$E054F71C-53CB-403B-A459-53A93C139113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d36abf32af07f57de9e00134f465c904a9ff4dac","datavalue":{"value":{"entity-type":"item","numeric-id":2311521,"id":"Q2311521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b690d565d49dd52160ac7314b69e565bd5b0b2a","datavalue":{"value":{"amount":"+0.7933709025382996","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":"Q6592314$4898BC97-6D3F-4D01-AAA2-E0214EA315F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1309c64ee93aec7c1d3e75069d0b5bfba7eb1a8","datavalue":{"value":{"entity-type":"item","numeric-id":2337338,"id":"Q2337338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c1f3b0a5b553ff73f5d6d9b392f755e6fae42e","datavalue":{"value":{"amount":"+0.7928252816200256","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":"Q6592314$96C8C1C4-2737-40DD-83C6-042468F2621C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"affbd2d5c038246509becf675827ca17b478fe7d","datavalue":{"value":{"entity-type":"item","numeric-id":1650373,"id":"Q1650373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fde1ade1b2def9e12db56ecd607431e65ef5324","datavalue":{"value":{"amount":"+0.7774167656898499","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":"Q6592314$D3926FC8-8C94-4343-8DF6-537FE1598DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43ae278fbd5fe7ca8d8cf5cbc9d67e34432bc81","datavalue":{"value":{"entity-type":"item","numeric-id":6592315,"id":"Q6592315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"614f2f88144b2f053a2c0b3990500c38958b5a1d","datavalue":{"value":{"amount":"+0.7718372941017151","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":"Q6592314$011E1EF2-B07D-4FBD-8230-FF746BF88F7A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"e68c451775d8e2699e023b1b9b74a9d21a410b77","datavalue":{"value":{"entity-type":"item","numeric-id":57038,"id":"Q57038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6592314$2A7E46C9-3E17-49DD-A3F2-E82C903BBDF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6592314","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6592314"}}}}}