{"entities":{"Q3643359":{"pageid":5673265,"ns":120,"title":"Item:Q3643359","lastrevid":90432653,"modified":"2026-06-04T20:10:26Z","type":"item","id":"Q3643359","labels":{"en":{"language":"en","value":"Social processes, program verification and all that"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5629405"}},"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":"Q3643359$237B9568-22FF-4835-AE22-49EBA7262705","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccb31db663009c34284f0a3d55406463eb68bbf4","datavalue":{"value":{"text":"Social processes, program verification and all that","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3643359$34CFA606-6C96-4627-90DD-CFC73C43E9B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b12c717c113ce1c64265cf411f8ca9bf274fa2d","datavalue":{"value":"1178.68333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643359$5412BCD2-816A-4A0A-B4B4-A83DD2B20EDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"209157c21db6fb0aa667ce12c61fb0238cac120b","datavalue":{"value":"10.1017/S0960129509990041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643359$8DF92CEB-F3E9-45F6-BD61-340C7A03ECF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7eb816b28b9c1f72e9b0af72e4651889c7844f4","datavalue":{"value":{"entity-type":"item","numeric-id":287278,"id":"Q287278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$23F0EA0E-F76D-4476-A6C5-8279403E40E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$D46BF8A8-A051-4DF2-BE8E-30190CD85754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38148e87dff20b847769f270220056dca340b65c","datavalue":{"value":{"entity-type":"item","numeric-id":2284191,"id":"Q2284191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$B469F3E2-F606-44EA-B553-0E9AE7635BFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$34DADA56-7613-4744-8F23-6C5D6488D0BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"429e5dc74b4b8740784417ec8a9f9bcbd45639f0","datavalue":{"value":{"time":"+2009-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3643359$7F7A428E-D3BD-4B5E-8B91-A699368B63A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643359$FEBE49A8-C686-47A5-9C3D-821DB5111653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643359$628AE8EB-5D28-4F8D-8828-D81852A8C157","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f95bb22a48cd54b21d08ef26dfe4f2836493f2b1","datavalue":{"value":"5629405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643359$E5D21432-CD98-46A0-94A0-8A74EB25394D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$5BAF1188-515C-4059-97F1-38DB240336A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$F8C9C459-38A7-4083-9A48-8D58BE665137","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":"Q3643359$446C2AE7-9016-4523-884F-46526D647F73","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1461786fd9147b7231c61e645f0ab20a3eaa42","datavalue":{"value":{"entity-type":"item","numeric-id":1040002,"id":"Q1040002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$28DAA75F-CF3B-4345-BF73-78C64C8BB317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd44858abd76ba6a4654ef8a7945fafeb171c3b","datavalue":{"value":{"entity-type":"item","numeric-id":1057847,"id":"Q1057847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$E87D5090-0CE6-4DF7-BE31-5C77B5B26D6C","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":"Q3643359$67E562D1-F69F-405E-A595-8CCAD1A7B00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1a3788383c9cc058727f1358cfc587595de30c","datavalue":{"value":{"entity-type":"item","numeric-id":1917084,"id":"Q1917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$BA6F414F-4055-4B26-9EEF-83C8FD109AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb9cfedcdf8209e09850a44ba23684e87646d65","datavalue":{"value":{"entity-type":"item","numeric-id":5277791,"id":"Q5277791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$C8970713-0DB7-447A-9244-B37339B5B3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8635671f40deea656fb3b0cdc4e932d89e63f6b0","datavalue":{"value":{"entity-type":"item","numeric-id":3638243,"id":"Q3638243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$91136A57-D95F-4095-8F95-B105FF995D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0ad9049f6fe82451e2b7d8bdacba443a464251","datavalue":{"value":{"entity-type":"item","numeric-id":1826465,"id":"Q1826465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$461DB51F-02ED-437A-98EB-6E90081416D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64f496ff323b92ebd2c0c5b4a8952ab8a3715c25","datavalue":{"value":{"entity-type":"item","numeric-id":1040009,"id":"Q1040009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$A5C8A693-4862-40C3-8CEA-26614AF4A6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fac8018d67440c6289d41ba6a99a91f9d3e2025","datavalue":{"value":{"entity-type":"item","numeric-id":2494223,"id":"Q2494223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$4F17303A-FE51-47D0-935F-5302898E3293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14afb593e146a0b4848eb62178807bc4e55d4ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523168,"id":"Q3523168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$23A8E932-D156-4AD3-934A-DC1E6E4091E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$5ECE35AA-93C5-4773-B72B-9B5881265E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f7e6842e2377b2d30b229985e35fd9e45909f08","datavalue":{"value":{"entity-type":"item","numeric-id":1040001,"id":"Q1040001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$43625371-B2F4-4A75-B375-3BECE03256C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b2299511bdd9257e24d50dbcbe6126abc656159","datavalue":{"value":{"entity-type":"item","numeric-id":2393741,"id":"Q2393741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$F64D061A-FCCD-4CB7-AE82-ABD030A44790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174bccfa571da341b9186919425907180171b135","datavalue":{"value":{"entity-type":"item","numeric-id":1071498,"id":"Q1071498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$45BE6AF4-6409-4447-B091-C74429CC52AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903ab7061d893e0f018fb25525e7ff8ef0d79769","datavalue":{"value":{"entity-type":"item","numeric-id":4810168,"id":"Q4810168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$B925C46F-B76C-4979-B059-C15D8EDB808A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"277dc6e7c60701cb6aeeadbc6ba8148e93c4b416","datavalue":{"value":{"entity-type":"item","numeric-id":4199500,"id":"Q4199500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$C5D61EB0-76EB-4D91-9ACA-CF86064B342C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946adaf1a8c8f141e0757f8f6f8365e21e858a9","datavalue":{"value":{"entity-type":"item","numeric-id":4099559,"id":"Q4099559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643359$DD637BB2-45BD-44D1-B751-C8826915302E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286621dceae39ed4c4865eaae2eefab2f27b11b1","datavalue":{"value":{"entity-type":"item","numeric-id":1316958,"id":"Q1316958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"000d42e905bbc1048b9c1757e1cb2c2e12860ba4","datavalue":{"value":{"amount":"+0.8327024579048157","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":"Q3643359$1254C919-7850-4B49-BE87-1FFEA126D5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"595f6616d7f7c7bdbfd5649089c6877995bc6cce","datavalue":{"value":{"entity-type":"item","numeric-id":2018656,"id":"Q2018656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"000d42e905bbc1048b9c1757e1cb2c2e12860ba4","datavalue":{"value":{"amount":"+0.8327024579048157","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":"Q3643359$79181DD4-FD60-4C77-9748-50906AA6D2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ba59c2f8712c0458e809ea7b22220c640a3e2a","datavalue":{"value":{"entity-type":"item","numeric-id":1606799,"id":"Q1606799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"783d67e86726bd2d617feb06886e1ea720603d9a","datavalue":{"value":{"amount":"+0.7471699714660645","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":"Q3643359$4CD7B1D8-CC3E-407D-849D-369386A765B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16a59d94808671d847c707450457d7bd701683d1","datavalue":{"value":{"entity-type":"item","numeric-id":4536589,"id":"Q4536589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"871a180ce4fbaf1ef74dd75977f488cae5470c4f","datavalue":{"value":{"amount":"+0.7467193603515625","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":"Q3643359$7CF170C3-AB06-4930-A28D-362FD83E9D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6ba7746db3411117fef3a34be889dfb4c4e69a","datavalue":{"value":{"entity-type":"item","numeric-id":5448310,"id":"Q5448310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1674d182d8b82abb1336ff18604c59bea4204e0d","datavalue":{"value":{"amount":"+0.7403219938278198","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":"Q3643359$45F39512-41AA-43D1-9D51-2B2C077AA071","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Social processes, program verification and all that","badges":[]}}}}}