{"entities":{"Q4091436":{"pageid":6121036,"ns":120,"title":"Item:Q4091436","lastrevid":48658663,"modified":"2026-01-05T12:53:38Z","type":"item","id":"Q4091436","labels":{"en":{"language":"en","value":"Proving Properties of Complex Data Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3511577"}},"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":"Q4091436$8D595D9C-564D-4BCC-8BDC-A79290496391","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8483f76c39a208dc6fa59c006b05d7b8f9d72d8a","datavalue":{"value":{"text":"Proving Properties of Complex Data Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4091436$0CB515E2-6C5D-40F4-B494-B1A16D51A050","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06d9300e30ebe160de2b8a220a3a8a8b14fd6914","datavalue":{"value":"0326.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4091436$3BC1405A-A43E-4EDF-B654-A085C05F91C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d1b046f903f21b82d697315c956ff3e335a9ea4","datavalue":{"value":"10.1145/321941.321957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4091436$BF8417CB-730A-4E9D-B093-755C02434FED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"027c70dd657686f399b4103897e15ec0ca7a53d1","datavalue":{"value":{"entity-type":"item","numeric-id":1218291,"id":"Q1218291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4091436$914E7AD7-C616-4573-8CF4-E1F6709EAF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1424ea7fd44860e000e73052aea116065ba32d18","datavalue":{"value":{"entity-type":"item","numeric-id":1844074,"id":"Q1844074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4091436$EF14E1B2-65B4-4C90-A254-2E899F78AD18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4091436$7EE0DCCC-4CC8-4B2E-B86A-B410C7F043A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4091436$913D1631-3E57-4B8A-9CD3-DF69DAC01372","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4091436$D14E42C0-A64D-48D3-8789-875A8D6D1512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4091436$8E306D72-3199-43F9-B283-AA11FDB54624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4091436$CD440E15-94E2-43D4-98C0-F581B6E9CB0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09239422c2cd993127035d062f3fb3a838b20a03","datavalue":{"value":"3511577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4091436$76957946-1780-4C36-B6A8-B195E6CECF98","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":"Q4091436$B8B8DF86-724E-43C0-AC9E-9BCB4ED9B9A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2768b4e406e42db2fa0df2e96f7b75531692f9f","datavalue":{"value":"https://doi.org/10.1145/321941.321957","type":"string"},"datatype":"url"},"type":"statement","id":"Q4091436$0FED9E14-EB2F-4FBE-900F-D6E5A328635C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fe856441c2f338b31d65a4d17ad253b496625b3","datavalue":{"value":"W1967455278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4091436$655DA405-EA83-4C50-B79A-3657CA0E07FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f929b2b078f05c9b7b73c3dc0c1edaf1d0368100","datavalue":{"value":{"entity-type":"item","numeric-id":2145329,"id":"Q2145329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f79f09f39581ea15d8be8e4cecc0aa4486d605","datavalue":{"value":{"amount":"+0.7171550393104553","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":"Q4091436$95AAD84F-7335-4843-BCEF-BBE019D786AC","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":"628eeddf41a131c484e25c63075db8c4c4ede486","datavalue":{"value":{"amount":"+0.703196108341217","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":"Q4091436$A25834DE-98B4-408D-A05D-DCE2F699C284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a631b3e44b2e12cffd8107e92668daf95a6850c1","datavalue":{"value":{"entity-type":"item","numeric-id":3802590,"id":"Q3802590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93b3c7f25fce666ddfcd232c9f047b177ec37b1e","datavalue":{"value":{"amount":"+0.690418541431427","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":"Q4091436$2D4253D2-ED99-4AF7-ADD9-EF13C1AC8144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afdfd5a0968109a2a8861f20a8d686764ab535b1","datavalue":{"value":{"entity-type":"item","numeric-id":1247742,"id":"Q1247742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f7c5205680a8314529e7d308318470b84d6b99","datavalue":{"value":{"amount":"+0.6806889176368713","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":"Q4091436$864AE2DD-D120-426B-99DF-51D50F23CDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118aa8d5a3d1bf7bcd3b855c5cf661a63df8d4f2","datavalue":{"value":{"entity-type":"item","numeric-id":1119388,"id":"Q1119388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"559952115355bb978c759e465e53930ce6498bb4","datavalue":{"value":{"amount":"+0.6795307993888855","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":"Q4091436$5C147B3B-E487-4E0A-801E-08ED5C300DF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4091436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4091436"}}}}}