{"entities":{"Q3558967":{"pageid":5588871,"ns":120,"title":"Item:Q3558967","lastrevid":50978642,"modified":"2026-01-16T01:36:35Z","type":"item","id":"Q3558967","labels":{"en":{"language":"en","value":"Fixpoints and search in PVS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5706742"}},"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":"Q3558967$6FECB226-7805-4396-934B-80F4C268EB64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e51083a87d5002bac95dab6c4f4d0371ff98208","datavalue":{"value":{"text":"Fixpoints and Search in PVS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558967$E6B5D3AF-845F-4474-930F-D5F498DE069F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc3b1d243faf88d13aed1c0de9fc3a6dcc2cb8e7","datavalue":{"value":"1186.68302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558967$720E3952-F0D6-4653-8CDB-1589CB08049A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb569ff320c8c978b24aae897a282086e4b518d2","datavalue":{"value":"10.1007/978-3-642-13010-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558967$C38B27CB-CEAA-4FA9-956D-0D76F32F2B4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f977cc4afe30a7452131df7ff084411daffbbaa","datavalue":{"value":{"entity-type":"item","numeric-id":532428,"id":"Q532428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558967$D3469EE6-1844-4ED8-BE0B-3627F2CC3883","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558967$4B2D2B30-4296-47D5-A2C8-63F4305D4057","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a717e35f3ca8bc03ec58cafe835c98008fa890b","datavalue":{"value":{"time":"+2010-05-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":"Q3558967$8F6E62BB-A41F-4A4D-8CF7-25FCDB5C77DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558967$0FF0CDC7-B5BB-4D8E-B71C-308209F3B4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558967$E457EDAA-E6B3-4ABB-A81E-54F5102BF238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558967$CA667B38-D3B9-44AD-998E-14B387725B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558967$D5CAEC8C-8E3E-4639-AE1D-04423A6E6F97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a633efede2bb27a731d1a00bde7c27aa4e3f1772","datavalue":{"value":"5706742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558967$59B16D28-AA5E-4117-9DE6-B75EC540472C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558967$B40FCF68-740D-4FC3-A0C0-49483E7E9197","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":"Q3558967$28D7BFAD-49BE-4ECD-AD0F-CC2A11E34C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558967$EF4891C2-2C9D-4BD1-B439-AE9B710ADA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558967$34741D1C-7019-4A3B-B0C9-399793D172B5","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":"Q3558967$40752973-0EF0-4EE0-9E30-CBD65EC05AD4","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":"Q3558967$FB930731-944E-4DAF-8654-691232789C9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af62ab9f752035b4f91e37e35335ed77173bf83f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-13010-6_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558967$02FD3F55-7DBC-4878-9F7B-76CA563E2182","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35f2f0679fcb26b96a33a8284db9af9b5969b1e7","datavalue":{"value":"W1579364886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558967$73B3F324-B364-48FE-B11F-11C45FFC62DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558967$B95781AF-611E-456C-86CC-AF77E629193D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558967$FB83B94B-CA01-47D9-A68F-09FE8EF0AC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558967$7C0EAB1C-54DB-41D5-B82F-F299D33F7767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558967$5665E0A5-A99A-4825-8BB9-0039FFD22C0F","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":"Q3558967$BE828C49-0805-4D56-A836-FFFA64DCF32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a339bd614c9c487f178e0e056570d75299430b","datavalue":{"value":{"entity-type":"item","numeric-id":3928230,"id":"Q3928230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558967$11EF17A2-8B25-4D29-827F-0D9846815B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9204df5115bc2238f3e790a23bb056047b3d757","datavalue":{"value":{"entity-type":"item","numeric-id":5488463,"id":"Q5488463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558967$46D66E4B-2D48-4C7A-8CA4-A5FED1AB625D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558967$739501FF-C5AD-47AB-83D8-D56E60DD9970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a574e5aa189b3fc2747ed9f87d92c59b775e8e6b","datavalue":{"value":{"entity-type":"item","numeric-id":2722014,"id":"Q2722014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558967$6FA9D8D4-FD0D-43D1-ABB7-3F7DA6C1EA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2097e358c778dbb154854453f32efc62a8e3614c","datavalue":{"value":{"entity-type":"item","numeric-id":1904402,"id":"Q1904402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558967$C510902A-489E-4BA9-A05F-A9AB4D13C186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"960fd40f59fc58f3b7c8f870aba6cbbfd12894f3","datavalue":{"value":{"entity-type":"item","numeric-id":3024884,"id":"Q3024884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558967$D8B4465C-68D2-4400-A695-AB102FC7DA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558967$3ACD8E79-206B-4FC5-BEA5-A0B038180DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558967$5F82E36F-F72B-491B-89B9-D0DE7C7951D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d153bdbd4c46008273d1c95e371848763483c8b","datavalue":{"value":{"entity-type":"item","numeric-id":1293885,"id":"Q1293885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a3a7d5e2759a6eb89a6dc1d006af5ca851dbfc","datavalue":{"value":{"amount":"+0.771523654460907","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":"Q3558967$4BD37EAB-5E26-4970-81C2-5D78B281D982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fba01c503038c4493d0efa81d91501f855ceaa","datavalue":{"value":{"entity-type":"item","numeric-id":935168,"id":"Q935168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f1c6b82514063459adfc23e2f2e7060011142c","datavalue":{"value":{"amount":"+0.7477632164955139","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":"Q3558967$B8270247-5FE4-45BE-8AD3-D3E224163E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da5db7ce77e86a4fbd43e8f4bfd937d7d54ae0d","datavalue":{"value":{"entity-type":"item","numeric-id":1391536,"id":"Q1391536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75975e71b5ca8187317cb6adc552980d1bee3f25","datavalue":{"value":{"amount":"+0.7402636408805847","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":"Q3558967$D20C6877-4653-443A-93A0-C9B98C062161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0cbbfc7f9e9b9a8f786f3b3a08c03abb86433cb","datavalue":{"value":{"entity-type":"item","numeric-id":3800032,"id":"Q3800032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24fce8a83b5c9b303158b66a78e515329f902231","datavalue":{"value":{"amount":"+0.734125554561615","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":"Q3558967$53A9E3D4-3163-47CB-BAD1-EACEF21270E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a42004e7e73dd7e09bc147202c2ad36d90a381","datavalue":{"value":{"entity-type":"item","numeric-id":4412843,"id":"Q4412843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d49260c76cb622098b5c3dcd6d5c49f58a70ae2","datavalue":{"value":{"amount":"+0.7310168743133545","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":"Q3558967$DDB5BC06-139A-4209-9C9F-76EF1A85D045","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558967","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558967"}}}}}